Search Results - Information Technology Journal :: FRELIP Discovery

Algebraic Structure of Combined Traces

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Universal codes of the natural numbers

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Indexed Induction and Coinduction, Fibrationally

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Computably regular topological spaces

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Modal Interface Automata

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Regular Cost Functions, Part I: Logic and Algebra over Words

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Well-Pointed Coalgebras

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Graph Logics with Rational Relations

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Lower Bound on Weights of Large Degree Threshold Functions

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Markov two-components processes

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Unifying the Linear Time-Branching Time Spectrum of Process Semantics

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Admissibility in Finitely Generated Quasivarieties

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Tree-Automatic Well-Founded Trees

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Total Representations

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Two Variable vs. Linear Temporal Logic in Model Checking and Games

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Infinite sequential Nash equilibrium

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in: