Abstract
No public abstract is available from the verified source records.
Antonio Badia
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Unresolved referenced work
1995
Unresolved referenced work
Kept as external metadata until matched
Generalized quantifiers and natural language
10.1007/bf00350139 · 1981
10.1007/978-1-4615-2207-2_11
10.1007/978-1-4615-2207-2_11
A logical query language for hypertext systems
1990
10.1109/sfcs.1989.63543
10.1109/sfcs.1989.63543
Unresolved referenced work
Kept as external metadata until matched
10.1109/lics.1994.316090
10.1109/lics.1994.316090
Extended logics: the general framework
1975
Unresolved referenced work
1996
10.1109/lics.1992.185548
10.1109/lics.1992.185548
Unresolved referenced work
Kept as external metadata until matched
10.1007/bf01213204
10.1007/bf01213204
10.1016/b978-1-4832-1313-2.50037-8
10.1016/b978-1-4832-1313-2.50037-8
10.1109/lics.1992.185547
10.1109/lics.1992.185547
First order predicate logic with generalized quantifiers
1966
On a generalization of quantifiers
10.4064/fm-44-1-12-36 · 1957
10.1007/bf00263192
10.1007/bf00263192
Unresolved referenced work
Kept as external metadata until matched
A relational calculus with set operators its safety and equivalent graphical languages
10.1109/32.31363 · 1989
High level data base query languages
1978
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
Safety and translation of relational calculus queries
1991
No additional external references are available.