A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Automatic program verification III: a methodology for verifying programs.
Automatic program verification III: a methodology for verifying programs.
Properties of substitutions and unifications
Journal of Symbolic Computation
APL2 implementations of unification
APL '87 Proceedings of the international conference on APL: APL in transition
An experimental VLSI Prolog interpreter: preliminary measurements and results
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Associative-commutative unification
Journal of Symbolic Computation
Unification in combinations of collapse-free regular theories
Journal of Symbolic Computation
Unification problems with one-sided distributivity
Journal of Symbolic Computation
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Type inference and semi-unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Enumerating outer narrowing derivationsfor constructor-based term rewriting systems
Journal of Symbolic Computation
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
Equational problems anddisunification
Journal of Symbolic Computation
On the relationship of congruence closureand unification
Journal of Symbolic Computation
On equational theories, unification, and (Un)decidability
Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories
Journal of Symbolic Computation
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation
Journal of Symbolic Computation
Adventures in associative-commutative unification
Journal of Symbolic Computation
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design and performance measurements of a parallel machine for the unification algorithm
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Unification in Boolean Rings and Abelian Groups
Journal of Symbolic Computation
Journal of Symbolic Computation
Automata-driven indexing of Prolog clauses
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
Combining matching algorithms: The regular case
Journal of Symbolic Computation
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pragmatic subtyping in polymorphic languages
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Non pair-sharing and freeness analysis through linear refinement
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Type checking, separate compilation and reusability
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A maximum-flow approach to anomaly isolation in unification-based incremental type inference
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the complexity analysis of static analyses
Journal of the ACM (JACM)
A Methodological View of Constraint Solving
Constraints
Journal of Automated Reasoning
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
A Parallel Unification Machine
IEEE Micro
IEEE Transactions on Knowledge and Data Engineering
Explicit versus implicit representations of subsets of the Herbrand universe
Theoretical Computer Science
Dominance Constraints in Context Unification
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Analysis of Downward Closed Properties of Logic Programs
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Abstract Compilation for Sharing Analysis
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Negation Elimination from Simple Equational Formulae
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Resolution Calculus for Dynamic Semantics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Simple Sequent System for First-Order Logic with Free Constructors
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Freeness Analysis Through Linear Refinement
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Evaluation of Indexing Techniques for Theorem Proving
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Logic Programming Language Based on Binding Algebras
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Multiset Constraints and P Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Simple general recursion in type theory
Nordic Journal of Computing
Pair-independence and freeness analysis through linear refinement
Information and Computation
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Pattern driven lazy reduction: A unifying evaluation mechanism for functional and logic programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data sharing in an FFP machine
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Fundamenta Informaticae - Concurrency specification and programming
On the complexity of equational problems in CNF
Journal of Symbolic Computation - Special issue: First order theorem proving
Higher-order narrowing with definitional trees
Journal of Functional Programming
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
The recursive record semantics of objects revisited
Journal of Functional Programming
Soundness, idempotence and commutativity of set-sharing
Theory and Practice of Logic Programming
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Theoretical Computer Science
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning
A treatment of higher-order features in logic programming
Theory and Practice of Logic Programming
Information and Computation
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Termination of Floating-Point Computations
Journal of Automated Reasoning
Proceedings of the 2006 ACM symposium on Applied computing
Typeless programming in Java 5.0
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Theory and Practice of Logic Programming
A graphical presentation of MLF types with a linear-time unification algorithm
TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Alternating two-way AC-tree automata
Information and Computation
General E-unification with Eager Variable Elimination and a Nice Cycle Rule
Journal of Automated Reasoning
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
A larger decidable semiunification problem
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Typeless programming in Java 5.0 with wildcards
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Theory and Practice of Logic Programming
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Symbolic protocol analysis for monoidal equational theories
Information and Computation
Unification as constraint satisfaction in structured connectionist networks
Neural Computation
Proceedings of the 17th international conference on World Wide Web
ACM Transactions on Computational Logic (TOCL)
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Concurrency, Graphs and Models
Concurrency, Graphs and Models
On Computing Constraint Abduction Answers
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Safely composing security protocols
Formal Methods in System Design
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Fuzzy Sets and Systems
A Query System for Texts with Macros
IEICE - Transactions on Information and Systems
Java Type Unification with Wildcards
Applications of Declarative Programming and Knowledge Management
Unification with Singleton Tree Grammars
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Certification of Termination Proofs Using CeTA
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
A unification algorithm for infinite trees
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Parallel processing of resolution
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Context unification with one context variable
Journal of Symbolic Computation
ACM Transactions on Computational Logic (TOCL)
Rational Unification in 28 Characters
Electronic Notes in Theoretical Computer Science (ENTCS)
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Theory and Practice of Logic Programming
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
A rewriting semantics for type inference
ESOP'07 Proceedings of the 16th European conference on Programming
Solving first-order constraints in the theory of the evaluated trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Complexity of a CHR solver for existentially quantified conjunctions of equations over trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Comparing unification algorithms in first-order theorem proving
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
Evidence algorithm and system for automated deduction: a retrospective view
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
A linear algorithm for MLL proof net correctness and sequentialization
Theoretical Computer Science
Unification and matching on compressed terms
ACM Transactions on Computational Logic (TOCL)
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
A sound semantics for a similarity-based logic programming language
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Linearity and iterator types for Gödel's System
Higher-Order and Symbolic Computation
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Model representation over finite and infinite signatures
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Well-typed narrowing with extra variables in functional-logic programming
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Explaining ML type errors by data flows
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Bounded second-order unification is NP-complete
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
(Nominal) unification by recursive descent with triangular substitutions
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
An algebraic specification of a transformation tool for prolog programs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Lazy narrowing with simplification
Computer Languages
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Fundamenta Informaticae
Executing Suspended Logic Programs
Fundamenta Informaticae
Rule-Based Constraint Programming
Fundamenta Informaticae
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Composing extended top-down tree transducers
EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics
Order-sorted Equational Unification Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
First-Order theorem proving and vampire
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |