The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Quantifiers with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1943-1977 (17) 1978-1980 (15) 1981-1983 (19) 1984-1986 (22) 1987-1988 (25) 1989-1990 (25) 1991 (15) 1992 (20) 1993 (19) 1994 (21) 1995 (23) 1996 (31) 1997 (32) 1998 (41) 1999 (24) 2000 (29) 2001 (34) 2002 (45) 2003 (36) 2004 (43) 2005 (55) 2006 (61) 2007 (50) 2008 (70) 2009 (54) 2010 (21) 2011 (20) 2012 (35) 2013 (29) 2014 (30) 2015 (35) 2016 (26) 2017 (36) 2018 (34) 2019 (21) 2020 (24) 2021 (30) 2022 (41) 2023 (36) 2024 (8)
Publication types (Num. hits)
article(533) book(6) incollection(12) inproceedings(694) phdthesis(6) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 391 occurrences of 269 keywords

Results
Found 1252 publication records. Showing 1252 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
108Reiner Hähnle Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers
94José Carlos Loureiro Ralha, Célia Ghedini Ralha Towards a Natural Way of Reasoning. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
81Andrei Voronkov Logic Programming with Bounded Quantifiers. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
80Richard Zuber Symmetric and contrapositional quantifiers. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Contaposition of quantifiers, Symmetry of higher order quantifiers
66Argimiro Arratia, Carlos E. Ortiz Counting Proportions of Sets: Expressive Power with Almost Order. Search on Bibsonomy LATIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL
62Nicole Schweikardt Arithmetic, first-order logic, and counting quantifiers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic
62Stefan Ratschan Convergent approximate solving of first-order constraints by approximate quantifiers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constraints, Decision procedures, real numbers, generalized quantifiers
59Thomas Eiter, Georg Gottlob, Helmut Veith Generalized Quantifiers in Logic Programs. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
57Richard Zuber More Algebras for Determiners. Search on Bibsonomy LACL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Collective quantification, Lindström quantifiers, Second-order generalized quantifiers, Type-shifting, Computational complexity, Definability
53Dongping Gao, Jiahong Guo Cardinal Fuzzy Quantifiers Based on the Framework of Fuzzy Sets. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Stefano Guerrini, Patrizia Marzuoli Commutative Locative Quantifiers for Multiplicative Linear Logic. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Ludics, linear logic, proof nets
53Nina Gierasimczuk The Problem of Learning the Semantics of Quantifiers. Search on Bibsonomy TbiLLC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Ingo Glöckner Fuzzy Quantifiers, Multiple Variable Binding and Branching Quantification. Search on Bibsonomy IFSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Anil Seth Sharper Results on the Expressive Power of Generalized Quantifiers. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
52Ian Pratt-Hartmann Complexity of the Two-Variable Fragment with Counting Quantifiers. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Abstract two-variable fragment, counting quantifiers, complexity, logic
52Giovanna D'Agostino Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. Search on Bibsonomy TbiLLC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus
52Marcin Mostowski, Konrad Zdanowski Degrees of logics with Henkin quantifiers in poor vocabularies. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Henkin quantifiers, Degrees of unsolvability
52Lauri Hella, Juha Nurmonen Vectorization hierarchies of some graph quantifiers. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Ehrenfeucht-Fraïssé games, Vectorization, Finite model theory, Generalized quantifiers
49Iain A. Stewart A Perspective on Lindström Quantifiers and Oracles. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
47Flavio Antonio Ferrarotti, Jose Maria Turull Torres Arity and Alternation: A Proper Hierarchy in Higher Order Logics. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47H. Khanh Hoang Choice Construct and Lindström Logics. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
47Antonio Badia, Stijn Vansummeren Non-linear prefixes in query languages. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF non-linear prefixes, branching, generalized quantifiers, cumulation
47Mircea-Dan Hernest Light Functional Interpretation. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Program extraction from (classical) proofs, Complexity of extracted programs, Berger’s uniform quantifiers, Functional interpretation, Proof Mining, Proof-Carrying Code
47David E. Losada, Félix Díaz-Hermida, Alberto Bugarín, Senén Barro Experiments on using fuzzy quantified sentences in adhoc retrieval. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fuzzy quantifiers, Information Retrieval
47Matthias Ruhl Counting and Addition Cannot Express Deterministic Transitive Closure. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Counting quantifiers, circuit complexity, finite model theory, descriptive complexity theory
46Lauri Hella, Merlijn Sevenster, Tero Tulenheimo Partially Ordered Connectives and Monadic Monotone Strict NP. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Henkin quantifiers, MMSNP, Partially ordered connectives, Constraint satisfaction problems, SNP, Generalized quantifiers
43Peter Bürgisser, Felipe Cucker Exotic Quantifiers, Complexity Classes, and Complete Problems. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 68Q15, 68Q17
43Juha Kontinen, Heribert Vollmer On Second-Order Monadic Groupoidal Quantifiers. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Alessandro Ferrante, Margherita Napoli, Mimmo Parente CTLModel-Checking with Graded Quantifiers. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Peter Bürgisser, Felipe Cucker Exotic Quantifiers, Complexity Classes, and Complete Problems. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Arnon Avron, Anna Zamansky Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Dapeng Yin, Min Shao, Peilin Jiang, Fuji Ren, Shingo Kuroiwa Treatment of Quantifiers in Chinese-Japanese Machine Translation. Search on Bibsonomy ICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Alon Altman, Ya'acov Peterzil, Yoad Winter Scope Dominance with Upward Monotone Quantifiers. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF monotonicity, dominance, scope, generalized quantifier
43Rohana K. Rajapakse, Angelo Cangelosi, Kenny R. Coventry, Steve Newstead, Alison Bacon Connectionist Modeling of Linguistic Quantifiers. Search on Bibsonomy ICANN (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Tru H. Cao Generalized Quantifiers and Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Ingo Glöckner, Alois C. Knoll Application of fuzzy quantifiers in image processing: a case study. Search on Bibsonomy KES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Martin Argenius, Andrei Voronkov Semantics of Constraint Logic Programs with Bounded Quantifiers. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
43Marta Bílková Uniform Interpolation and Propositional Quantifiers in Modal Logics. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF propositional quantifiers, interpolation, modal logic, sequent calculus
40Jouko A. Väänänen Generalized Quantifiers, an Introduction. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Jan Rauch Logical Aspects of the Measures of Interestingness of Association Rules. Search on Bibsonomy Advances in Machine Learning II The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Byeong Seok Ahn Some Quantifier Functions From Weighting Functions With Constant Value of Orness. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Flavio Antonio Ferrarotti, Jose Maria Turull Torres Arity and alternation: a proper hierarchy in higher order logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85
38Dietrich Kuske, Markus Lohrey First-Order and Counting Theories of omega-Automatic Structures. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Félix Díaz-Hermida, Purificación Cariñena, Alberto Bugarín Efficient Evaluation of Similarity Quantified Expressions in the Temporal Domain. Search on Bibsonomy SMPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38David Janin, Jerzy Marcinkowski A Toolkit for First Order Extensions of Monadic Games. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Antonio Badia Extending Description Logics with Generalized Quantifikation. Search on Bibsonomy ISMIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38François Bry Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
37Juha Kontinen A logical characterization of the counting hierarchy. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination
37Merlijn Sevenster, Tero Tulenheimo Partially Ordered Connectives and Sum11 on Finite Models. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Henkin quantifiers, partially ordered connectives, NP vs. coNP, finite model theory
37Stefan Gerberding DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
34San-Min Wang, Bin Zhao, Peng Wang A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fuzzy quantifier, Sugeno’s integral, MTL, Fuzzy logic
34Anna Zamansky, Arnon Avron Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Ingo Glöckner Optimal Selection of Proportional Bounding Quantifiers in Linguistic Data Summarization. Search on Bibsonomy SMPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34K. Rustan M. Leino, Madan Musuvathi, Xinming Ou A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Gilad Ben-Avi, Yoad Winter Scope Dominance with Monotone Quantifiers over Finite Domains. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF under-specification, natural language, inference, Ambiguity, monotonicity, scope, quantifier
34Luís Caires, Étienne Lozes Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Klaus-Jörn Lange Some Results on Majority Quantifiers over Words. Search on Bibsonomy CCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Yunfu Shen Elimination of algorithmic quantifiers for ordered differential algebra. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ordered differential algebra, algorithm, quantifier elimination, model theory
34Leonid Libkin, Limsoon Wong Unary Quantifiers, Transitive Closure, and Relations of Large Degree. Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Leonid Libkin, Juha Nurmonen Counting and Locality over Finite Structures: A Survey. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Gernot Salzer Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
34Stan Jefferson, Samuel N. Kamin Executable Specifications with Quantifiers in the FASE System. Search on Bibsonomy POPL The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
34Jalal Kawash Tutoring Tool for Formulating Database Queries with Complex Quantifiers. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Database Education, Quantifiers
34Matías Menni About N-quantifiers. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF adjoint functors, quantifiers, variable binding
34Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez Resolution for Logic Programming with Universal Quantifiers. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Universal quantifiers, specification, logic programming, programming languages, resolution, implication
30Tharindu Madusanka, Iqra Zahid, Hao Li, Ian Pratt-Hartmann, Riza Batista-Navarro Not all quantifiers are equal: Probing Transformer-based language models' understanding of generalised quantifiers. Search on Bibsonomy EMNLP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
30Sarah Dolscheid, Christina Winter, Martina Penke Counting on Quantifiers: Specific Links between Linguistic Quantifiers and Number Acquisition. Search on Bibsonomy EAPCogSci The full citation details ... 2015 DBLP  BibTeX  RDF
30Kerkko Luosto Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  BibTeX  RDF
30Helmut Thiele On T-Quantifiers and S-Quantifiers. Search on Bibsonomy ISMVL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Trifon Trifonov Dialectica Interpretation with Fine Computational Control. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri Structure-aware computation of predicate abstraction. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Thomas Wies, Ruzica Piskac, Viktor Kuncak Combining Theories with Shared Set Operations. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Tim French 0002 Idempotent Transductions for Modal Logics. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Aless Lasaruk, Thomas Sturm 0001 Weak Integer Quantifier Elimination Beyond the Linear Case. Search on Bibsonomy CASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Uwe Bubeck, Hans Kleine Büning Dependency Quantified Horn Formulas: Models and Complexity. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Pascal Tesson, Denis Thérien Restricted Two-Variable Sentences, Circuits and Communication Complexity. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Uwe Bubeck, Hans Kleine Büning, Xishun Zhao Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Arnon Avron, Anna Zamansky Quantification in Non-Deterministic Multi-Valued Structures. Search on Bibsonomy ISMVL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Tim French 0002 Bisimulation Quantified Logics: Undecidability. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Ting Zhang 0001, Henny B. Sipma, Zohar Manna Term Algebras with Length Function and Bounded Quantifier Alternation. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Howard Straubing, Denis Thérien Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Petr Hájek 0001 Relations and GUHA-Style Data Mining II. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Marco Pistore, Moshe Y. Vardi The Planning Spectrum - One, Two, Three, Infinity. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Tru H. Cao Conceptual Graphs for Modelling and Computing with Generally Quantified Statements. Search on Bibsonomy Modelling with Words The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Matthias Galota, Heribert Vollmer A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer The Descriptive Complexity Approach to LOGCFL. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Jerzy Marcinkowski Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28David Kempe 0001, Arno Schöegge On the Power of Quantifers in First-Order Algebraic Specification. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Li Dafa A Natural Deduction Automated Theorem Proving System. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
28Haim Kilov Guidelines for writing PL/I programs. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
28Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling simultaneous games in dynamic logic. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simultaneous games, Game logic, Evaluation games, IF logic, Branching quantifiers, Parallelism
28Marian Counihan 'if p then q' ... and all that: Logical Elements in Reasoning and Discourse. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic, Interpretation, Reasoning, Literacy, Quantifiers
28Mircea-Dan Hernest, Paulo Oliva Hybrid Functional Interpretations. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
28Chris Cornelis, Martine De Cock, Anna Maria Radzikowska Vaguely Quantified Rough Sets. Search on Bibsonomy RSFDGrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF vague quantifiers, VPRS model, rough sets, fuzzy sets
28Esteban Zimányi Temporal aggregates and temporal universal quantification in standard SQL. Search on Bibsonomy SIGMOD Rec. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal aggregates, temporal universal quantifiers, SQL, temporal databases
28Lauri Hella, Jose Maria Turull Torres Complete Problems for Higher Order Logics. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lindström Quantifiers, Complete Problems, Higher Order Logics
28Raymond T. Boute Functional declarative language design and predicate calculus: a practical approach. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
Displaying result #1 - #100 of 1252 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license