The SCEAS System
Navigation Menu

Conferences in DBLP

Russian Conference on Logic Programming / (lpar)
1999 (conf/lpar/1999)

  1. Alan Bundy, Julian Richardson
    Proofs About Lists Using Ellipsis. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:1-12 [Conf]
  2. Miki Hermann, Laurent Juban, Phokion G. Kolaitis
    On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:13-32 [Conf]
  3. Ramón Béjar, Felip Manyà
    Solving Combinatorial Problems with Regular Local Search Algorithms. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:33-43 [Conf]
  4. Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets
    Evidence Algorithm and Sequent Logical Inference Search. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:44-61 [Conf]
  5. Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
    First Order Linear Temporal Logic over Finite Time Structures. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:62-76 [Conf]
  6. Martin Leucker
    Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:77-91 [Conf]
  7. Yassin Mokhtari, Stephan Merz
    Animating TLA Specifications. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:92-110 [Conf]
  8. Enno Ohlebusch
    Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:111-130 [Conf]
  9. Uwe Waldmann
    Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:131-147 [Conf]
  10. Pierre Réty
    Regular Sets of Descendants for Constructor-Based Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:148-160 [Conf]
  11. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:161-180 [Conf]
  12. Carsten Lutz
    Complexity of Terminological Reasoning Revisited. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:181-200 [Conf]
  13. Georg Gottlob, Christos H. Papadimitriou
    On the Complexity of Single-Rule Datalog Queries. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:201-222 [Conf]
  14. René Moreno
    Abstracting Properties in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:223-237 [Conf]
  15. Roberta Gori
    A Fixpoint Semantics for Reasoning about Finite Failure. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:238-257 [Conf]
  16. Jeremy Gow, Alan Bundy, Ian Green
    Extensions to the Estimation Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:258-272 [Conf]
  17. Eva Hoogland, Maarten Marx, Martin Otto
    Beth Definability for the Guarded Fragment. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:273-285 [Conf]
  18. Michael Dierkes
    Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:286-303 [Conf]
  19. Pablo López, Ernesto Pimentel
    Resource Management in Linear Logic Search Revisited. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:304-319 [Conf]
  20. Jean-Marc Andreoli, Roberto Maieli
    Fucusing and Proof-Nets in Linear and Non-commutative Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:321-336 [Conf]
  21. Bart Demoen, Konstantinos F. Sagonas
    CHAT Is Theta(SLG-Wam). [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:337-357 [Conf]
  22. Nikolay Pelov, Maurice Bruynooghe
    Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:358-375 [Conf]
  23. Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
    A Partial Evaluation Framework for Curry Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:376-395 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002