Annals of Mathematics and Artificial Intelligence, Volume 8

Volume 8, Number 1-2, 1993

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Manaster-Ramer93
- ask others
Alexis Manaster-Ramer: Capacity, Complexity, Construction. 1-16
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Savitch93
- ask others
Walter J. Savitch: Why it Might Pay to Assume That Languages are infinite. 17-25
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Zeitman93
- ask others
R. Suzanne Zeitman: Somewhat Finite Approaches to Infinite Sentences. 27-36
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Kornai93
- ask others
András Kornai: The Generative Power of Feature Geometry. 37-46
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Singh93
- ask others
Munindar P. Singh: A Semantics for Speech Acts. 47-71
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Correa93
- ask others
Nelson Correa: Attribute and Unification Grammar: A Review and Analysis of Formalisms. 73-105
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Nerbonne93
- ask others
John Nerbonne: A Feature-based Syntax/Semantics Interface. 107-132
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/JohnsonM93
- ask others
David E. Johnson, Lawrence S. Moss: Some Formal Properties of Stratified Feature Grammars. 133-173
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Moshier93
- ask others
M. Andrew Moshier: On Completeness theorems for Feature Logics. 175-213

Volume 8, Number 3-4, 1993

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Latombe93
- ask others
Jean-Claude Latombe: Geometry and Search in Motion Planning. 215-227
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/KirschenbaumSJ93
- ask others
Marc Kirschenbaum, Leon Sterling, Ashish Jain: Relating Logic Programs Via Program Maps. 229-245
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/CarraresiGR93
- ask others
Paolo Carraresi, Giorgio Gallo, Gabriella Rago: A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers' Scheduling. 247-270
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/GangnetR93
- ask others
Michel Gangnet, Burton Rosenberg: Constraint Programming and Graph Algorithms. 271-284
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Zhao93
- ask others
Feng Zhao: Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space. 285-300
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/StrooperE93
- ask others
Paul A. Strooper, Maarten H. van Emden: Describing Symmetrical Structures in Logic. 301-314
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Srivastava93
- ask others
Divesh Srivastava: Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. 315-343
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/HaeselerPS93
- ask others
Fritz von Haeseler, Heinz-Otto Peitgen, Guentcho Skordev: Cellular Automata, Matrix Substitutions and Fractals. 345-362
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/BarnettBH93
- ask others
Richard Barnett, David A. Basin, Jane Hesketh: A Recursion Planning Analysis of Inductive Completion. 363-381
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/ZhangH93
- ask others
Hantao Zhang, Gary Xin Hua: Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. 383-405
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Ammon93
- ask others
Kurt Ammon: A Learning Procedure for Mathematics. 407-423
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Pastre93
- ask others
Dominique Pastre: Automated Theorem Proving in Mathematics. 425-447
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/FernandezLMS93
- ask others
José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian: Disjunctive LP + Integrity Constraints = Stable Model Semantics. 449-474
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/ArmandoG93
- ask others
Alessandro Armando, Enrico Giunchiglia: Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. 475-502