default search action
Informatique Théorique et Applications, Volume 37, 2003
Volume 37, Number 1, January-March 2003
- Mika Hirvensalo, Sebastian Seibert:
Lower Bounds for Las Vegas Automata by Information Theory. 39-49 - Beate Bollig:
Complexity Theoretical Results on Nondeterministic Graph-driven Read-Once Branching Programs. 51-66
Volume 37, Number 2, April-June 2003
- Olivier Finkel:
Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations. 115-126 - Nadia Creignou, Hervé Daudé:
Smooth and sharp thresholds for random k-XOR-CNF satisfiability. 127-147
Volume 37, Number 3, July-September 2003
- Ján Manuch, Ladislav Stacho:
On f-wise Arc Forwarding Index and Wavelength Allocations in Faulty All-optical Hypercubes. 255-270
Volume 37, Number 4, October-December 2003
- Federico De Marchi, Neil Ghani, Christoph Lüth:
Solving Algebraic Equations Using Coalgebra. 301-314 - Christoph Sprenger, Mads Dam:
On global induction mechanisms in a µ-calculus with explicit approximations. 365-391
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-03-02 01:16 CET by the dblp team