FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
abstract interpretation	Automated Logic-Based Reasoning for Analyzing Prime Video Code
automated reasoning	Automated Logic-Based Reasoning for Analyzing Prime Video Code
B
Bang calculus	Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value
bounded model checking	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
Büchi automata	A normalized edit distance on finite and infinite words
C
Categorical model	A Mixed Linear and Graded Logic-Extended Abstract
CBPV	Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value
Counting Logics	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
D
decomposition	Monoidal Width -- Extended Abstract
definable numbers	A note on Türing 1936
dependent type theory	The essence of type-theoretic elaboration
Diagonalization porcedures	A note on Türing 1936
E
elaboration	The essence of type-theoretic elaboration
epistemic logic	A goal-oriented proof system for epistemic modal logic
expressiveness	Hypertrace Logic
F
First-order	Hypertrace Logic
first-order logic	Fixed-Template Promise Model Checking Problems
formal verification	A normalized edit distance on finite and infinite words
G
goal-oriented proof system	A goal-oriented proof system for epistemic modal logic
Graded logic	A Mixed Linear and Graded Logic-Extended Abstract
graph	Monoidal Width -- Extended Abstract
H
Hyperproperties	Hypertrace Logic
L
linear logic	A Mixed Linear and Graded Logic-Extended Abstract
M
Model Checking Problem	Fixed-Template Promise Model Checking Problems
monoidal category	Monoidal Width -- Extended Abstract
monoidal width	Monoidal Width -- Extended Abstract
Multi-homomorphism	Fixed-Template Promise Model Checking Problems
N
Normalized Edit Distance	A normalized edit distance on finite and infinite words
P
petri nets	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
program analysis	Automated Logic-Based Reasoning for Analyzing Prime Video Code
Promise Constraint Satisfaction Problem	Fixed-Template Promise Model Checking Problems
proof assistant	The essence of type-theoretic elaboration
proof theory	A goal-oriented proof system for epistemic modal logic
Q
Quantitative types	Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value
R
rank width	Monoidal Width -- Extended Abstract
Robustness	A normalized edit distance on finite and infinite words
S
SAT solvers	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
static analysis	Automated Logic-Based Reasoning for Analyzing Prime Video Code
T
Temporal Logics	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
tree width	Monoidal Width -- Extended Abstract
Türing Machine	A note on Türing 1936

Disclaimer | Powered by EasyChair Smart Program