International Journal of Foundations of Computer Science, Volume 1

Volume 1, Number 1, March 1990

Claire Kenyon, Andrew Chi-Chih Yao: On Evaluating Boolean Functions with Unreliable Tests. 1-10 BibTeX
Ahmed Saoudi, David E. Muller, Paul E. Schupp: On the Complexity of omega-Tree Sets and Nerode Theorem. 11-22 BibTeX
V. S. Subrahmanian: A Ring-Theoretic Basis for Logic Programming. 23-48 BibTeX
Marek A. Suchenek: Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models. 49-60 BibTeX
W.-D. Wei: On A Personnel Assignment Problem. 61-70 BibTeX
Franco P. Preparata: Planar Point Location Revisited (Review Paper). 71- BibTeX

Emanuela Fachini, Jozef Gruska, Andrea Maggiolo-Schettini, Davide Sangiorgi: Simulation of Systolic Tree Automata on Trellis Automata. 87-110 BibTeX
Giorgio Ausiello, Marco Protasi: Limiting Polynomial Approximation of Complexity Classes. 111-122 BibTeX
Sergio De Agostino, Rossella Petreschi: Parallel Recognition Algorithms for Graphs with Restricted Neighbourhoods. 123-130 BibTeX
Keqin Li, Kam-Hoi Cheng: Generalized First-Fit Algorithms in Two and Three Dimensions. 131-150 BibTeX
Roberto Barbuti, Maurizio Martelli: Recognizing Non-Floundering Logic Programs and Goals. 151- BibTeX

Franco Barbanera: Combining Term Rewriting and Type Assignment Systems. 165-184 BibTeX
Daniel P. Bovet, Miriam Di Ianni, Pierluigi Crescenzi: Deadlock Prediction in the Case of Dynamic Routing. 185-200 BibTeX
Danilo Bruschi, Deborah Joseph, Paul Young: Strong Separations for the Boolean Hierarchy over RP. 201-218 BibTeX
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: Breath and Depth Grammars and Deque Automata. 219-232 BibTeX
Stefania Costantini: Semantics of a Metalogic Programming Language. 233-248 BibTeX
Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami: Nested Guarded Horn Clauses. 249-264 BibTeX
Massimiliano Goldwurm: Some Limit Distributions in Analysis of Algorithms for Problems on Trace Languages. 265-276 BibTeX
Roberto Gorrieri, Ugo Montanari: Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. 277-294 BibTeX
Erich Grädel: On the Notion of Linear Time Computability. 295-308 BibTeX
Filippo Mignosi: Sturmian Words and Ambigous Context-Free Languages. 309-324 BibTeX
Adolfo Piperno, Enrico Tronci: Regular Systems in lambda-Calculus. 325-340 BibTeX
Giuseppe Rosolini: About Modest Sets. 341- BibTeX

Robert McNaughton: The Development of Formal Language Theory Since 1956 (Review Paper). 355-368 BibTeX
William M. Farmer, Ronald J. Watro: Redex Capturing in Term Graph Rewriting. 369-386 BibTeX
Hubert Comon: Solving Symbolic Ordering Constraints. 387-412 BibTeX
Manfred Droste, Rüdiger Göbel: Universal Information Systems. 413-424 BibTeX
Jyrki Katajainen, Erkki Mäkinen: Tree Compression and Optimization with Applications. 425-448 BibTeX
A. P. Korah, M. R. Kaimal: Dynamic Optimal Binary Search Tree. 449-464 BibTeX
V. S. Subrahmanian: Errata: A Ring-Theoretic Basis for Logic Programming. 465 BibTeX