Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=186
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Optimal satisfiability for propositional calculi and constraint satisfaction problems
Steffen Reith
,
Heribert Vollmer
Information and Computation
186
(1), 2003, pp. 1-19
The monotone theory for the PAC-model
Nader H. Bshouty
Information and Computation
186
(1), 2003, pp. 20-35
Interval-based clock synchronization with optimal precision
Ulrich Schmid
,
Klaus Schossmaier
Information and Computation
186
(1), 2003, pp. 36-77
A lower bound for integer multiplication on randomized ordered read-once branching programs
Farid Ablayev
,
Marek Karpinski
Information and Computation
186
(1), 2003, pp. 78-89
Inverting onto functions
Stephen A. Fenner
,
Lance Fortnow
,
Ashish V. Naik
,
John D. Rogers
Information and Computation
186
(1), 2003, pp. 90-103
Some connections between bounded query classes and non-uniform complexity
Amihood Amir
,
Richard Beigel
,
William Gasarch
Information and Computation
186
(1), 2003, pp. 104-139
Follow automata
Lucian Ilie
,
Sheng Yu
Information and Computation
186
(1), 2003, pp. 140-162
Nominal logic, a first order theory of names and binding
Andrew M. Pitts
Information and Computation
186
(2), 2003, pp. 165-193
A spatial logic for concurrency (part I)
Luís Caires
,
Luca Cardelli
Information and Computation
186
(2), 2003, pp. 194-235
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
Mizuhito Ogawa
Information and Computation
186
(2), 2003, pp. 236-259
The Girard-Reynolds isomorphism
Philip Wadler
Information and Computation
186
(2), 2003, pp. 260-284
Infinite intersection types
Marcello M. Bonsangue
,
Joost N. Kok
Information and Computation
186
(2), 2003, pp. 285-318
Non-structural subtype entailment in automata theory
Joachim Niehren
,
Tim Priesnitz
Information and Computation
186
(2), 2003, pp. 319-354
Model checking LTL with regular valuations for pushdown systems
Javier Esparza
,
Antonín Kuc̑era
,
Stefan Schwoon
Information and Computation
186
(2), 2003, pp. 355-376