Feature Logics (1994)

Cached

Download Links

by William C. Rounds
Venue:HANDBOOK OF LOGIC AND LANGUAGE, EDITED BY VAN BENTHEM & TER MEULEN
Citations:33 - 0 self

Documents Related by Co-Citation

422 An Introduction to Unification-Based Approaches to Grammar – Stuart M. Shieber - 1986
506 Lexical-Functional Grammar: A Formal System for Grammatical Representation – Ronald M. Kaplan, Joan Bresnan - 1995
63 Path Constraints on Semistructured and Structured Data – Peter Buneman, Wenfei Fan, Scott Weinstein - 1998
147 Regular Path Queries with Constraints – Serge Abiteboul, Victor Vianu - 1997
825 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
95 Records for Logic Programming – Gert Smolka, Ralf Treinen - 1994
239 Categorial Type Logics – Michael Moortgat - 1997
24 A Complete Axiomatization of a Theory with Feature and Arity Constraints – Rolf Backofen - 1994
27 A Complete And Recursive Feature Theory – Rolf Backofen, Gert Smolka - 1992
10988 Computers and Intractability: A Guide to the Theory of NP-completeness – M Garey, D Johnson - 1979
662 The Lorel Query Language for Semistructured Data – Serge Abiteboul, Dallan Quass, Jason Mchugh, Jennifer Widom, Janet Wiener - 1997
491 Querying Semi-Structured Data – Serge Abiteboul - 1997
3219 Communication and Concurrency – R Milner - 1990
35 Efficient Linear Logic Meaning Assembly – Vineet Gupta, John Lamping
5 Path Constraints on Deterministic Graphs – Peter Buneman, Wenfei Fan, Scott Weinstein - 1998
215 Reasoning in Description Logics – F. M. Donini, M. Lenzerini, D. Nardi, A. Schaerf - 1997
14 Ordering Constraints over Feature Trees – Martin Müller, Joachim Niehren, Andreas Podelski - 1999
1207 Head-Driven Phrase Structure Grammar. The – Carl Pollard, Ivan A Sag - 1994
3 Ordering constraints over feature trees with ordered sorts – M Muller - 1997