Search Results - Information Technology Journal :: FRELIP Discovery

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions

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:
Modelling Probabilistic Wireless Networks

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:
Randomness extraction and asymptotic Hamming distance

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:
Unary negation

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:
A Static Analysis Framework for Livelock Freedom in CSP

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:
Exploring the Boundaries of Monad Tensorability on Set

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:
Bases as 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:
Reachability under Contextual Locking

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:
Automatic functions, linear time and learning

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:
Connector algebras for C/E and P/T nets' interactions

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:
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

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:
Induction in Algebra: a First Case Study

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:
On Characterising Distributability

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:
Coalgebraic Characterizations of Context-Free Languages

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:
Pebble Games, Proof Complexity, and Time-Space Trade-offs

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:
Reachability Problem for Weak Multi-Pushdown 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:
Measure Transformer Semantics for Bayesian Machine Learning

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:
Linearizability with Ownership Transfer

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:
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

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:
Computability of Probability Distributions and Characteristic 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: