Research graph
References from Safety, domain independence and generalized quantification. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1995 · External reference
Unresolved reference
External reference
Generalized quantifiers and natural language
10.1007/bf00350139 · 1981 · External reference
10.1007/978-1-4615-2207-2_11
10.1007/978-1-4615-2207-2_11 · External reference
A logical query language for hypertext systems
1990 · External reference
10.1109/sfcs.1989.63543
10.1109/sfcs.1989.63543 · External reference
Unresolved reference
External reference
10.1109/lics.1994.316090
10.1109/lics.1994.316090 · External reference
Extended logics: the general framework
1975 · External reference
Unresolved reference
1996 · External reference
10.1109/lics.1992.185548
10.1109/lics.1992.185548 · External reference
Unresolved reference
External reference
10.1007/bf01213204
10.1007/bf01213204 · External reference
10.1016/b978-1-4832-1313-2.50037-8
10.1016/b978-1-4832-1313-2.50037-8 · External reference
10.1109/lics.1992.185547
10.1109/lics.1992.185547 · External reference
First order predicate logic with generalized quantifiers
1966 · External reference
On a generalization of quantifiers
10.4064/fm-44-1-12-36 · 1957 · External reference
10.1007/bf00263192
10.1007/bf00263192 · External reference
Unresolved reference
External reference
A relational calculus with set operators its safety and equivalent graphical languages
10.1109/32.31363 · 1989 · External reference
High level data base query languages
1978 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Safety and translation of relational calculus queries
1991 · External reference
