Works matching IS 14324350 AND DT 2010 AND VI 46 AND IP 4
Results: 10
Logic and Rational Languages of Words Indexed by Linear Orderings.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 737, doi. 10.1007/s00224-009-9222-6
- By:
- Publication type:
- Article
Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 707, doi. 10.1007/s00224-009-9214-6
- By:
- Publication type:
- Article
A Semantic Proof of Polytime Soundness of Light Affine Logic.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 673, doi. 10.1007/s00224-009-9210-x
- By:
- Publication type:
- Article
Simple and Improved Parameterized Algorithms for Multiterminal Cuts.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 723, doi. 10.1007/s00224-009-9215-5
- By:
- Publication type:
- Article
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 761, doi. 10.1007/s00224-009-9241-3
- By:
- Publication type:
- Article
Unidirectional Lambek Grammars in Polynomial Time.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 662, doi. 10.1007/s00224-009-9208-4
- By:
- Publication type:
- Article
Preface.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 619, doi. 10.1007/s00224-009-9244-0
- By:
- Publication type:
- Article
Comparing Universal Covers in Polynomial Time.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 620, doi. 10.1007/s00224-009-9200-z
- By:
- Publication type:
- Article
Self-Referential Justifications in Epistemic Logic.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 636, doi. 10.1007/s00224-009-9209-3
- By:
- Publication type:
- Article
Complexity of the Bollobás–Riordan Polynomial. Exceptional Points and Uniform Reductions.
- Published in:
- Theory of Computing Systems, 2010, v. 46, n. 4, p. 690, doi. 10.1007/s00224-009-9213-7
- By:
- Publication type:
- Article