13. STACS 1996: Grenoble, France Claude Puech , Rüdiger Reischuk (Eds.):
STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings.
Lecture Notes in Computer Science 1046 Springer 1996, ISBN 3-540-60922-9 Invited Lecture
export record as
dblp key:
Complexity Theory I
export record as
dblp key:
export record as
dblp key:
Martin Kummer :
On the Complexity of Random Strings (Extended Abstract).
25-36
Automata Theory I
export record as
dblp key:
export record as
dblp key:
Complexity Theory II
export record as
dblp key:
conf/stacs/Ambos-SpiesMWZ96 export record as
dblp key:
export record as
dblp key:
Jack H. Lutz :
Observations on Measure and Lowness for Delta^P_2.
87-97
export record as
dblp key:
Automata Theory II
export record as
dblp key:
Martin Beaudry :
Languages Recognized by Finite Aperiodic Groupoids.
113-124
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Guy Melançon :
Lyndon Factorization of Infinite Words.
147-154
Parallel Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/stacs/BerenbrinkHS96 export record as
dblp key:
Piotr Indyk :
On Word-Level Parallelism in Fault-Tolerant Computing.
193-204
Learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Parallel and Distributed Systems I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Complexity Theory III
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Lecture
export record as
dblp key:
Cryptography
export record as
dblp key:
conf/stacs/BleichenbacherM96 export record as
dblp key:
conf/stacs/FriedmanJRST96 export record as
dblp key:
Ueli M. Maurer :
A Unified and Generalized Treatment of Authentification Theory.
387-398
Logic and Data Base Theory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/stacs/Marcinkowski96 Jerzy Marcinkowski :
The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.
427-438
Algorithms I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Scott A. Mitchell :
A Characterization of the Quadrilateral Meshes of a Surface Which Admit a Compatible Hexahedral Mesh of the Enclosed Volume.
465-476
Semantics and Program Verification
export record as
dblp key:
export record as
dblp key:
Beate Bollig ,
Ingo Wegener :
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams.
491-502
export record as
dblp key:
Roberto Giacobazzi :
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
503-514
Parallel and Distributed Systems II
export record as
dblp key:
export record as
dblp key:
Automata Theory III
export record as
dblp key:
Christiane Frougny :
On the Successor Function in Non-Classical Numeration Systems.
543-553
export record as
dblp key:
Algorithms II
export record as
dblp key:
conf/stacs/Dietzfelbinger96 Martin Dietzfelbinger :
Universal Hashing and k-Wise Independent Random Variables via Integer Arithmetic without Primes.
569-580
export record as
dblp key:
Pierre Kelsen :
Ranking and Unranking Trees Using Regular Reductions.
581-592
export record as
dblp key:
export record as
dblp key:
Jens Lagergren :
Hypothesis Testing in Perfect Phylogeny for a Bounded Number of Characters.
605-616
Communication Complexity
export record as
dblp key:
export record as
dblp key:
Andris Ambainis :
Upper Bounds on Multiparty Communication Complexity of Shifts.
631-642
export record as
dblp key:
export record as
dblp key:
Invited Lecture
export record as
dblp key:
data released under the ODC-BY 1.0 license
