|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1037 occurrences of 720 keywords
|
|
|
Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Michael Hanus |
Lazy Unification with Simplification. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Christian Prehofer |
Decidable Higher-Order Unification Problems. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Nachum Dershowitz, Subrata Mitra |
Higher-Order and Semantic Unification. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
42 | Staffan Bonnier |
Unification in Incompletely Specified Theories: A Case Study. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
42 | Werner Nutt |
Unification in Monoidal Theories. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
42 | Paliath Narendran, Friedrich Otto |
Some Results on Equational Unification. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
42 | Paris C. Kanellakis, John C. Mitchell |
Polymorphic Unification and ML Typing. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
42 | Fritz Henglein |
Type Inference and Semi-Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
42 | Peter Ruzicka, Igor Prívara |
An Almost Linear Robinson Unification ALgorithm. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
42 | Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman |
Semi-Unification. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
|
42 | Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß |
On Equational Theories, Unification and Decidability. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
42 | Gregory F. Johnson, Janet A. Walz |
A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
42 | Robert G. Bandes |
Constraining-Unification and the Programming Language Unicorn. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
39 | Mark Franzen, Lawrence J. Henschen |
A New Approach to Universal Unification and Its Application to AC-Unification. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
38 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Similarity-Based WAM for Bousi~Prolog. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming |
38 | Akira Tsumaya, Yuta Matoba, Hidefumi Wakamatsu, Eiji Arai |
Dynamic Management Architecture for Project Based Production. |
APMS |
2007 |
DBLP DOI BibTeX RDF |
Dynamic Management, Parts and Packets Unification, Project Based Production, Scheduling, Material Handling |
38 | Joachim Niehren, Mateu Villaret |
Parallelism and Tree Regular Constraints. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
unification, tree automata, computational logic |
38 | Michael Schroeder 0001, Ralf Schweimeier |
Fuzzy argumentation for negotiating agents. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
fuzzy unification, agent communication, fuzzy reasoning |
38 | Silvana Castano, Valeria De Antonellis, Sabrina De Capitani di Vimercati |
Global Viewing of Heterogeneous Data Sources. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
global view, schema analysis and unification, clustering, affinity, Heterogeneous data sources |
38 | Marko Mäkelä |
Optimising Enabling Tests and Unfoldings of Algebraic System Nets. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
reachability analysis, unification, high-level Petri nets, unfolding |
38 | Krzysztof R. Apt, Alessandro Pellegrini 0002 |
On the Occur-Check-Free Prolog Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm |
38 | Edward W. Krauser, Aditya P. Mathur, Vernon Rego |
High Performance Software Testing on SIMD Machines. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
mutant unification, program mutation, single instruction multiple data stream, software testing, software reliability, software reliability, program testing, parallel machines, parallel machines, software systems, SIMD machines |
38 | Hans-Jürgen Bürckert |
Solving Disequations in Equational Theories. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
E-unification, E-disunification, solving equations and disequations, Equational theories |
37 | Annie Foret |
On Mixing Deduction and Substitution in Lambek Categorial Grammars. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Manfred Schmidt-Schauß, Klaus U. Schulz |
Solvability of Context Equations with Two Context Variables is Decidable. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Ashok Singhal, Yale N. Patt |
A High Performance Prolog Processor with Multiple Function Units. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
37 | Ashok Singhal, Yale N. Patt |
Implementing a Prolog machine with multiple functional units. |
MICRO |
1988 |
DBLP BibTeX RDF |
Prolog |
36 | Santiago Escobar 0001 |
Unification and Anti-unification modulo Equational Theories. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Serdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse |
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
36 | Friedrich Otto, Paliath Narendran, Daniel J. Dougherty |
Equational Unification, Word Unification, and 2nd-Order Equational Unification. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Jeremy G. Siek, Manish Vachharajani |
Gradual typing with unification-based inference. |
DLS |
2008 |
DBLP DOI BibTeX RDF |
gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing |
35 | Boris Köpf, Heiko Mantel |
Transformational typing and unification for automatically correcting insecure programs. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
Unification, Language-based security, Information flow control, Security type system |
35 | Didier Rémy, Boris Yakobowski |
A graphical presentation of MLF types with a linear-time unification algorithm. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
system SF, graphs, types, unification, binders, MLF |
35 | Efrat Jaeger, Nissim Francez, Shuly Wintner |
Unification Grammars and Off-Line Parsability. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
off-line parsability, parsing termination, unification grammars |
35 | Shuly Wintner |
On the Semantics of Unification Grammars. |
Grammars |
2003 |
DBLP DOI BibTeX RDF |
unification grammars, modularity, semantics of programming languages |
35 | Mariela I. Cortés, Marcus Fontoura, Carlos José Pereira de Lucena |
Using refactoring and unification rules to assist framework evolution. |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
framework redesign and evolution, unification rules, refactoring, object-oriented frameworks |
35 | Tim Sheard |
Generic Unification via Two-Level Types and Parameterized Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
parameterized modules, Haskell, generic programs, unification |
35 | Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti |
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory |
35 | Silvana Castano, Valeria De Antonellis |
Techniques for Process Analysis and Unification. |
CAiSE |
1996 |
DBLP DOI BibTeX RDF |
Data Similarity, Process unification, Interoperability, Legacy systems, Process analysis, Process reengineering |
35 | Ming-Yuan Zhu, Xiao-Bai Mo |
Mechanical synthesis of a unification algorithm in PowerEpsilon. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
PowerEpsilon, constructive type theory, proof development system, formal program development system, formal specification, specification, programming, theorem proving, programming theory, type theory, unification algorithm, mechanical synthesis |
35 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Unification and Narrowing in Maude 2.4. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß |
Unification with Singleton Tree Grammars. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran |
Unification and Matching Modulo Leaf-Permutative Equational Presentations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Ye Zhang 0002, Flemming Nielson |
A Scalable Inclusion Constraint Solver Using Unification. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Niraj Aswani, Kalina Bontcheva, Hamish Cunningham |
Mining Information for Instance Unification. |
ISWC |
2006 |
DBLP DOI BibTeX RDF |
|
35 | James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller |
Unification of verification and validation methods for software systems: progress report and initial case study formulation. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada |
The Joinability and Unification Problems for Confluent Semi-constructor TRSs. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Viorica Sofronie-Stokkermans |
On Unification for Bonded Distributive Lattices. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Manuvir Das |
Unification-based pointer analysis with directional assignments. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Dan Corbett, Robert F. Woodbury |
Unification over Constraints in Conceptual Graphs. |
ICCS |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Sergei G. Vorobyov |
forall exists*-Equational Theory of Context Unification is Pi10-Hard. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Alberto Oliart, Wayne Snyder |
A Fast Algorithm for Uniform Semi-Unification. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Qing Guo, Paliath Narendran, Sandeep K. Shukla |
Unification and Matching in Process Algebras. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Jean Goubault-Larrecq |
Ramified Higher-Order Unification. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Eric Chasseur, Yves Deville |
Logic Program Schemas, Constraints, and Semi-unification. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Heinz Faßbender, Sebastian Maneth |
A Strict Border for the Decidability of E-Unification for Recursive Functions. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Christoph Weidenbach |
Unification in Pseudo-Linear Sort Theories is Decidable. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Anatoli Degtyarev, Andrei Voronkov |
Simultaneous Regid E-Unification Is Undecidable. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Gernot Salzer |
Primal Grammars and Unification Modulo a Binary Clause. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Tomás E. Uribe |
Sorted Unification Using Set Constraints. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Alan M. Frisch, Anthony G. Cohn 0001 |
An Abstract View of Sorted Unification. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Tobias Nipkow, Zhenyu Qian |
Reduction and Unification in Lambda Calculi with Subtypes. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Franz Baader |
Characterization of Unification Type Zero. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Jia-Huai You, P. A. Subrahmanyam |
On the Completeness of Narrowing for E-Unification. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Tobias Nipkow |
Unification in Primal Algebras. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Deepak Kapur, Paliath Narendran |
NP-Completeness of the Set Unification and Matching Problems. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
35 | Erik Tidén |
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
35 | Jeffrey Scott Vitter, Roger A. Simons |
Parallel algorithms for unification and other complete problems in p. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Claude Kirchner |
A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm. |
CADE |
1984 |
DBLP DOI BibTeX RDF |
|
30 | Thomas O. Olwal, Barend J. van Wyk, Karim Djouani, Yskandar Hamam, Patrick Siarry, Ntsibane Ntlatlapa |
Autonomous Transmission Power Adaptation for Multi-Radio Multi-Channel Wireless Mesh Networks. |
ADHOC-NOW |
2009 |
DBLP DOI BibTeX RDF |
Multi-Radio Multi-Channel (MRMC), Power Selection Multi-Radio Multi-Channel Unification Protocol (PMMUP), Wireless Mesh Networks (WMNs) |
30 | Didier Rémy |
MLF for everyone (users, implementers, and designers). |
ML |
2007 |
DBLP DOI BibTeX RDF |
graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF |
30 | Soyoung Kwon |
A parsing algorithm for Korean implemented in Prolog. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
unification-based grammar, Prolog, parsing, dependency grammar |
30 | Henning Makholm, J. B. Wells |
Type inference, principal typings, and let-polymorphism for first-class mixin modules. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mixin modules, record concatenation, row unification, type systems, polymorphism |
30 | Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón |
Second-Order Matching via Explicit Substitutions. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
Higher-Order Unification, Second-Order Matching, Explicit Substitutions |
30 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
30 | A. J. Kfoury, Santiago M. Pericás-Geertsen |
Type Inference for Recursive Definitions. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
type systems, type inference, lambda calculus, unification, software specification |
30 | Paliath Narendran, Friedrich Otto |
The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
matching, unification, equational theory, string-rewriting systems |
30 | Antoni Koscielski, Leszek Pacholski |
Complexity of Makanin's Algorithm. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
semantic unification, semi-groups, periodicity, word equations, Diophantine equations |
30 | Michael R. Donat, Lincoln A. Wallen |
Learning and Applying Generalised Solutions using Higher Order Resolution. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
higher order unification, Resolution, generalisation, Explanation Based Learning |
30 | Paul Walton Purdom Jr. |
Detecting Looping Simplifications. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
Knuth-Bendix, Matching, Unification, Simplification, Looping, Rewrite rules |
30 | Christopher Lynch, Barbara Morawska 0001 |
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Christian Urban, Andrew M. Pitts, Murdoch Gabbay |
Nominal Unificaiton. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Guerrini |
Correctness of Multiplicative Proof Nets Is Linear. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Dieter Hutter, Michael Kohlhase |
A Colored Version of the Lambda-Calculus. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Zhenyu Qian |
Higher-Order Equational Logic Programming. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Henry G. Baker |
Unify and Conquer. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Amy P. Felty, Dale Miller 0001 |
Specifying Theorem Provers in a Higher-Order Logic Programming Language. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Georg Gottlob, Alexander Leitsch |
On the Efficiency of Subsumption Algorithms |
J. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Eric Hawley |
Strategic unification in IT functional reorganization. |
SIGUCCS |
2008 |
DBLP DOI BibTeX RDF |
budget consolidation, management, information technology, organization, unification, centralization, strategic planning, decentralization, reorganization |
28 | José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo |
Formal Correctness of a Quadratic Unification Algorithm. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
verification, ACL2, unification algorithm |
28 | Hasan M. Jamil |
A case for parameterized views and relational unification. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
declarative methods, inheritance and overriding, parameterized views, reasoning unification, SQL, object-relational databases |
28 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via se-style of explicit substitution. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
higher order unification, lambda-calculus, explicit substitution |
28 | Vernon Rego, Aditya P. Mathur |
Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
vector multiprocessors, nonregressive graphs, optimality, parallel programming, parallelism, programming theory, unification, vector processors, sequential programs, source-to-source transformation, program graphs |
28 | Karl-Hans Bläsius, Jörg H. Siekmann |
Partial Unification for Graph Based Equational Reasoning. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
built-in equality, clause graphs with equality, planning in abstraction spaces, Unification |
27 | Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Homomorphic Encryption. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Carmen Galvez, Félix de Moya Anegón |
The unification of institutional addresses applying parametrized finite-state graphs (P-FSG). |
Scientometrics |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Brigitte Pientka |
Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Yichuan Jiang, Toru Ishida 0001 |
Concurrent Agent Social Strategy Diffusion with the Unification Trend. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
social law, social strategy, concurrent mechanism, agent, diffusion |
27 | Charles J. Petrie |
Pragmatic Semantic Unification. |
IEEE Internet Comput. |
2005 |
DBLP DOI BibTeX RDF |
Semantic Web, Semantic Web services |
27 | Gopalan Nadathur, Natalie Linnell |
Practical Higher-Order Pattern Unification with On-the-Fly Raising. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 3060 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|