Cs-Lo
Complexity Classification in Infinite-Domain Constraint Satisfaction
Automatic Ordinals
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks
Functions as types or the "Hoare logic" of functional dependencies
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
On the system CL12 of computability logic
Typed Answer Set Programming and Inverse Lambda Algorithms
An n log n Alogrithm for Deterministic Kripke Structure Minimization
A Framework for Concurrent Imperative Programming
Model-Checking of Linear-Time Properties in Multi-Valued Systems
A call-by-value lambda-calculus with lists and control
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
Refinement and Difference for Probabilistic Automata
Complexity fits the fittest
A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)
Meditations on Quantified Constraint Satisfaction
Ramified Structural Recursion and Corecursion
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
Mean-Payoff Pushdown Games
Descriptive complexity for pictures languages (extended abstract)
A Transformation-based Implementation for CLP with Qualification and Proximity
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis
