Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
BABEL: a base for an experimental library
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
Journal of Symbolic Computation
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
Inheritance and constraint-based grammar formalisms
Computational Linguistics - Special issue on inheritance: I
Principal signatures for higher-order program modules
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient handling of multiple inheritance hierarchies
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Unification encodings of grammatical notations
Computational Linguistics
Unified versioning through feature logic
ACM Transactions on Software Engineering and Methodology (TOSEM)
A semantics for complex objects and approximate queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
A Space-and-Time-Efficient Coding Algorithm for Lattice Computations
IEEE Transactions on Knowledge and Data Engineering
Computational and Structural Aspects of Openly Specified Type Hierarchies
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Typed Sets as a Basis for Object-Oriented Database Schemas
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Retrieval of semistructured Web data
Intelligent exploration of the web
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Inclusion, disjointness and choice: the logic of linguistic classification
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Unification with lazy non-redundant copying
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
A complete and recursive feature theory
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Organizing linguistic knowledge for multilingual generation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Structure sharing problem and its solution in graph unification
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
A treatment of negative descriptions of typed feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Towards computer-aided linguistic engineering
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
Generation for dialogue translation using typed feature structure unification
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 1
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
Contribution of a category hierarchy to the robustness of syntactic parsing.
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Strategic lazy incremental copy graph unification
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Wayne State University: description of the UNO natural language processing system as used for MUC-6
MUC6 '95 Proceedings of the 6th conference on Message understanding
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Algorithms and theory of computation handbook
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
ON SETS OF TERMS: A STUDY OF A GENERALISATION RELATION AND OF ITS ALGORITHMIC PROPERTIES
Fundamenta Informaticae
A modular toolkit for machine translation based on layered charts
Proceedings of the COLING-2000 Workshop on Using Toolsets and Architectures To Build NLP Systems
Hi-index | 5.23 |