An efficient graph algorithm for dominance constraints

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Minimal Recursion Semantics: An Introduction

Ann Copestake, Dan Flickinger, Carl Pollard et al. · Research on Language and Computation · 2005 · 1K citations

Computing, Computer Science, Formal Methods +9

Generalized finite automata theory with an application to a decision problem of second-order logic

J. W. Thatcher, Jesse B. Wright · Theory of Computing Systems · 1968 · 737 citations

Computing, Computer Science, Mathematics +9

LEDA: A platform for combinatorial and geometric computing

Computers & Mathematics with Applications · 2000 · 489 citations

Computing, Computer Science, Mathematics +12

Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction

Uwe Reyle · Journal of Semantics · 1993 · 338 citations

Language Studies, Computer Science, Linguistics +15