Full Text Available
Access Full Text at Repository
Search Results - Information Technology Journal
-
Random strings and tt-degrees of Turing complete C.E. sets
Published in Logical Methods in Computer Science (2014)Get full text
Online Article RSS Article -
When is a container a comonad?
Published in Logical Methods in Computer Science (2014)Get full text
-
-
Deciding Conditional Termination
Published in Logical Methods in Computer Science (2014)Get full text
-
Automata theory in nominal sets
Published in Logical Methods in Computer Science (2014)Get full text
-
Synthesis from Probabilistic Components
Published in Logical Methods in Computer Science (2014)Get full text
-
-
Parity and Streett Games with Costs
Published in Logical Methods in Computer Science (2014)Get full text