Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically

Get full text

Structurally Cyclic Petri Nets

Get full text

Datalog Rewritings of Regular Path Queries using Views

Get full text

Type Reconstruction for the Linear pi-Calculus with Composite Regular Types

Get full text

Modular session types for objects

Get full text

FO Model Checking of Interval Graphs

Get full text

Problems in number theory from busy beaver competition

Get full text

From nominal to higher-order rewriting and back again

Get full text

Faster Existential FO Model Checking on Posets

Get full text

A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Get full text

Finite choice, convex choice and finding roots

Get full text

Quantitative information flow under generic leakage functions and adaptive adversaries

Get full text

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Get full text

The computability path ordering

Get full text

Logic and Branching Automata

Get full text

Expressive Path Queries on Graph with Data

Get full text

Ellipses and Lambda Definability

Get full text

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Get full text

Exact Unification and Admissibility

Get full text

A correspondence between rooted planar maps and normal planar lambda terms

Get full text