FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

#
#SAT	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth (PDF, talk)
A
Algebra	Declarative Dynamic Programming with Inverse Coupled Rewrite Systems (PDF, talk)
Atomic Formula	Lazy Automata Techniques for WS1S (PDF, talk)
Automaton State	Lazy Automata Techniques for WS1S (PDF, talk)
B
Brzozowski derivatives	A Derivative-Based Decision Procedure for WS1S (PDF, talk)
C
Constraint Language	Automated Constraint Modelling with Conjure (PDF, talk) ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What? (PDF, talk)
Constraint Modelling	Automated Constraint Modelling with Conjure (PDF, talk) ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What? (PDF, talk)
Constraint Solving	Automated Constraint Modelling with Conjure (PDF, talk)
Courcelle's Theorem	Courcelle’s Theorem – A Game-Theoretic Approach (PDF, talk)
D
decision procedure	Lazy Automata Techniques for WS1S (PDF, talk) A Derivative-Based Decision Procedure for WS1S (PDF, talk)
Decision Procedures	Decidable Linear Tree Constraints (PDF, talk)
Dynamic Programming	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth (PDF, talk) Declarative Dynamic Programming with Inverse Coupled Rewrite Systems (PDF, talk)
F
Finite Automaton	Lazy Automata Techniques for WS1S (PDF, talk)
Fly-Automata	Monadic Second-Order Model Checking with Fly-Automata (PDF, talk)
Free Variable	Lazy Automata Techniques for WS1S (PDF, talk)
I
information flow	A Logic of Information Flows (PDF, talk)
interactive theorem proving	A Derivative-Based Decision Procedure for WS1S (PDF, talk)
Isabelle	A Derivative-Based Decision Procedure for WS1S (PDF, talk)
L
Linear Tree Constraints	Decidable Linear Tree Constraints (PDF, talk)
logic	A Logic of Information Flows (PDF, talk)
M
model checking	Monadic Second-Order Model Checking with Fly-Automata (PDF, talk)
Model Checking Games	Courcelle’s Theorem – A Game-Theoretic Approach (PDF, talk)
Modular System	A Logic of Information Flows (PDF, talk)
Monadic Second Order Logic	Monadic Second-Order Model Checking with Fly-Automata (PDF, talk) Courcelle’s Theorem – A Game-Theoretic Approach (PDF, talk)
MSO	Monadic Second-Order Model Checking with Fly-Automata (PDF, talk) A Derivative-Based Decision Procedure for WS1S (PDF, talk)
P
Program Analysis	Decidable Linear Tree Constraints (PDF, talk)
R
Reformulation	Automated Constraint Modelling with Conjure (PDF, talk)
regular expressions	A Derivative-Based Decision Procedure for WS1S (PDF, talk)
Rewrite Systems	Declarative Dynamic Programming with Inverse Coupled Rewrite Systems (PDF, talk)
S
Specification Language	ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What? (PDF, talk)
T
Tree Decompositions	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth (PDF, talk)
treewidth	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth (PDF, talk)
W
WS1S	A Derivative-Based Decision Procedure for WS1S (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program