Volume 118, Number 1, 1995
- Amihood Amir, Martin Farach:
Efficient 2-Dimensional Approximate Matching of Half-Rectangular Figures.
1-11 BibTeX
- Peter J. Stuckey:
Negation and Constraint Logic Programming.
12-33 BibTeX
- Samir Khuller, Yossi Matias:
A Simple Randomized Sieve Algorithm for the Closest-Pair Problem.
34-37 BibTeX
- Walter Vogler:
Generalized OM-Bisimulation.
38-47 BibTeX
- William J. Bultman, Wolfgang Maass:
Fast Identification of Geometric Objects with Membership Queries.
48-64 BibTeX
- John Shawe-Taylor:
Sample Sizes for Threshold Networks with Equivalences.
65-72 BibTeX
- Gregory Kucherov, Mohamed Tajine:
Decidability of Regularity and Related Properties of Ground Normal Form Languages.
91-100 BibTeX
- Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan:
Testing Language Containment for omega-Automata Using BDD's.
101-109 BibTeX
- Igor Litovsky, Yves Métivier, Wieslaw Zielonka:
On the Recognition of Families of Graphs with Local Computations.
110-119 BibTeX
- Masako Takahashi:
Parallel Reductions in lambda-Calculus.
120-127 BibTeX
- Jens Palsberg, Michael I. Schwartzbach:
Safety Analysis versus Type Inference.
128-141 BibTeX
- Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis:
Timing Verification by Successive Approximation.
142-157 BibTeX
- Flaviu Cristian, Houtan Aghili, H. Raymond Strong, Danny Dolev:
Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement.
158-179 BibTeX
Volume 118, Number 2, 1995
- Jirí Adámek:
Recursive Data Types in Algebraically omega-Complete Categories.
181-190 BibTeX
- Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Transition Systems, Event Structures and Unfoldings.
191-207 BibTeX
- Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen:
How Inductive Inference Strategies Discover Their Errors.
208-226 BibTeX
- Rolf Niedermeier, Peter Rossmanith:
Unambiguous Auxiliary Pushdown Automata and Semi-unbounded Fan-in Circuits.
227-245 BibTeX
- Joseph Y. Halpern, Edward L. Wimmers:
Full Abstraction and Expressive Completeness for FP.
246-271 BibTeX
- Roberto Gorrieri, Cosimo Laneve:
Split and ST Bisimulation Semantics.
272-288 BibTeX
- Howard Straubing, Denis Thérien, Wolfgang Thomas:
Regular Languages Defined with Generalized Quanifiers.
289-301 BibTeX
- Juraj Hromkovic, Vladimír Müller, Ondrej Sýkora, Imrich Vrto:
On Embeddings in Cycles.
302-305 BibTeX
- Didier Caucal, Dung T. Huynh, Lu Tian:
Deciding Branching Bimiliarity of Normed Context-Free Processes Is in \Sigma^ p_2.
306-315 BibTeX
- Oded Maler, Amir Pnueli:
On the Learnability of Infinitary Regular Sets.
316-326 BibTeX
- Andreas Weber, Reinhard Klemm:
Economy of Description for Single-Valued Transducers.
327-340 BibTeX
Copyright © Sat May 16 23:59:58 2009
by Michael Ley (ley@uni-trier.de)
