The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Hassan Aït-Kaci, Andreas Podelski
    Entailment and Disentailment of Order-Sorted Feature Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:1-18 [Conf]
  2. Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
    Computing Extensions of Default Logic - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:19-27 [Conf]
  3. Jonas Barklund, Johan Bevemyr
    Prolog with Arrays and Bounded Quantifications. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:28-39 [Conf]
  4. Peter Barth
    Linear 0-1 Inequalities and Extended Clauses. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:40-51 [Conf]
  5. Stefan Brüning
    Search Space Pruning by Checking Dynamic Term Growth. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:52-63 [Conf]
  6. Hiu Fai Chau
    A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:65-75 [Conf]
  7. Anatoli N. Chebotarev, Marina K. Morokhobets
    Consistency Checking of Automata Functional Specifications. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:76-85 [Conf]
  8. Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
    Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:86-97 [Conf]
  9. Andrew Davison
    Parsing with DCG-terms. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:98-109 [Conf]
  10. Uwe Egly
    A First Order Resolution Calculus with Symmetries. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:110-121 [Conf]
  11. Christian G. Fermüller, Gernot Salzer
    Ordered Paramodulation and Resolution as Decision Procedure. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:122-133 [Conf]
  12. Gilberto Filé, Sabina Rossi
    Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:134-145 [Conf]
  13. Philippa Gardner
    A New Type THeory for Representing Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:146-157 [Conf]
  14. Reiner Hähnle, Werner Kernig
    Verification of Switch-Level Designs with Many-Valued Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:158-169 [Conf]
  15. M. Hibti, Henri Lombardi, Bruno Legeard
    Deciding in HFS-Theory via Linear Integer Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:170-181 [Conf]
  16. Patricia M. Hill
    The Completion of Typed Logic Programs and SLDNF-Resolution. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:182-193 [Conf]
  17. Alistair Manning, Andrew Ireland, Alan Bundy
    Incresing the Versatility of Heuristic Based Theorem Provers. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:194-204 [Conf]
  18. Barton C. Massey, Evan Tick
    Sequentialization of Parallel Logic Programs with Mode Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:205-216 [Conf]
  19. Klaus Mayr
    Refinements and Extensions of Model Elimination. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:217-228 [Conf]
  20. Angelica Maria Kappel
    Executable Specifications based on Dynamic Algebras. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:229-240 [Conf]
  21. Hans de Nivelle
    Generic Resolution in Propositional Modal Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:241-252 [Conf]
  22. Hans Jürgen Ohlbach
    Optimized Translation of Multi Modal Logic into Predicate Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:253-264 [Conf]
  23. Sven Eric Panitz
    Default Reasoning with a Constraint Resolution Principle. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:265-276 [Conf]
  24. Anavai Ramesh, Neil V. Murray
    Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:277-288 [Conf]
  25. Manfred Schmidt-Schauß
    Unification Under One-Sided Distributivity with a Multiplicative Unit. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:289-300 [Conf]
  26. Rolf Socher-Ambrosius
    Unification in Order-Sorted Logic With Term Declarations. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:301-308 [Conf]
  27. Christine Solnon, Michel Rueher
    Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:309-320 [Conf]
  28. Geoff Sutcliffe
    A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:321-332 [Conf]
  29. Gerd Wagner
    Neutralization and Preemtion in Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:333-344 [Conf]
  30. Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
    MULTILOG: A System for Axiomatizing Many-valued Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:345-347 [Conf]
  31. Didier Galmiche, O. Hermann
    SKIL: A System for Programming with Proofs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:348-350 [Conf]
  32. John Harrison, Laurent Théry
    Reasoning About the Reals: The Marriage of HOL and Maple. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:351-353 [Conf]
  33. Yexuan Gui, Mitsuhiro Okada
    System Description of LAMBDALG - A Higher Order Algebraic Specification Language. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:354-356 [Conf]
  34. Breanndán Ó Nualláin
    Mixing metafor. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:357-359 [Conf]
  35. Sergei Soloviev
    A Complete Axiom System for Isomorphism of Types in Closed Categories. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:360-371 [Conf]
  36. Peter Wegner
    Reasoning, Modeling, and Component-Based Technology. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:372-386 [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