The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1945-1958 (15) 1959-1964 (15) 1965-1971 (18) 1972-1975 (21) 1976-1978 (22) 1979-1981 (18) 1982-1985 (22) 1986-1988 (24) 1989-1990 (19) 1991-1992 (34) 1993 (25) 1994 (22) 1995-1996 (33) 1997-1998 (27) 1999 (20) 2000 (29) 2001 (26) 2002 (34) 2003 (32) 2004 (34) 2005 (49) 2006 (62) 2007 (58) 2008 (56) 2009 (45) 2010 (25) 2011-2012 (34) 2013 (16) 2014 (25) 2015 (25) 2016-2017 (50) 2018 (18) 2019 (23) 2020 (24) 2021 (24) 2022 (21) 2023 (22) 2024 (3)
Publication types (Num. hits)
article(612) incollection(5) inproceedings(449) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 399 occurrences of 304 keywords

Results
Found 1070 publication records. Showing 1070 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
85Kyriakos Keremedis Disasters in topology without the axiom of choice. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Axiom of Choice, Countable axiom of choice, Countable axiom of Multiple choice, Countably compact, First countable, Second countable, Metrizable spaces, Compact, Separable
75Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda A Complete Axiom System for Algebra of Closed-Regular Expression. Search on Bibsonomy ICALP The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
65Victor Pambuccian The Simplest Axiom System for Plane Hyperbolic Geometry. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry
65Ivan Chajda, Miroslav Kolarík Independence of axiom system of basic algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Basic algebra, Axiom system, Double negation law, Independence
55Xiangpeng Li, Qiang Tang 0011, Qing Liu 0011 An minimal axiom group of rough set based on generalized relation. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Teodor Rus, John P. Le Peau Language specification by multi-axiom grammars. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
55Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi Algorithmic differentiation in Axiom. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithmic differentiation, program transformation, axiom, symbolic-numeric computation
55Paul Corazza Consistency of V = HOD with the wholeness axiom. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Wholeness Axiom, Elementary embeddings -HOD- Regular classes, Laver sequences
50Janis Barzdins, Rusins Freivalds, Carl H. Smith Towards Axiomatic Basis of Inductive Inference. Search on Bibsonomy FCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
50Edgar Knapp Soundness and Completeness of UNITY Logic. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
46Vasco Brattka, Matthias Schröder 0001 Computing with Sequences, Weak Topologies and the Axiom of Choice. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Bernhard Banaschewski The Axiom of Countable Choice and Pointfree Topology. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF zero-dimensional frames, completely regular frames, coreflections from Lindelöf frames, Axiom of Countable Choice
40Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster 0001 Binary Refinement Implies Discrete Exponentiation. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Constructive set theory, Exponentiation axiom
40Torben Braüner Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
40Jingyu Jin, Keyun Qin, Zheng Pei 0001 Reduction-Based Approaches Towards Constructing Galois (Concept) Lattices. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Galois (concept) lattices, CL–Axiom, attribute reduction
40Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost Implementation techniques for fast polynomial arithmetic in a high-level programming environment. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Aldor, polynomials, high-performance, Axiom
40Shu Li 0001 A Behavioral Choice Model When Computational Ability Matters. Search on Bibsonomy Appl. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intuitive abilities, behavioural choice model, prominence effect, independence axiom, transitivity axiom
36László Á. Kóczy Measuring Voting Power: The Paradox of New Members vs. the Null Player Axiom. Search on Bibsonomy Towards Intelligent Engineering and Information Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Arnon Avron, Agata Ciabattoni, Anna Zamansky Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Roberto Sebastiani, Michele Vescovi Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Teruyuki Yorioka Some weak fragments of Martin's axiom related to the rectangle refining property. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03E50, 03E35
36Lawrence C. Paulson The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Cory J. Butz, S. K. Michael Wong, Dan Wu 0006 A New Inference Axiom for Probabilistic Conditional Independence. Search on Bibsonomy AI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Guram Bezhanishvili, Ray Mines, Patrick J. Morandi The Priestley Separation Axiom for Scattered Spaces. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Priestley space, scattered space, Stone space, quasi-order
36Jan A. Bergstra, Jan Willem Klop ACTtau: A Universal Axiom System for Process Specification. Search on Bibsonomy Algebraic Methods The full citation details ... 1987 DBLP  DOI  BibTeX  RDF 1982 CR Categories F.1.2, F.4.3, D.3.3, F.3.2
36Nicolas J. Doye Automated Coercion for Axiom. Search on Bibsonomy ISSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF AXIOM
36Jean-Louis Boulanger Object Oriented Method for Axiom. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF AXIOM
32Thilo Weinert The Bounded Axiom A Forcing Axiom. Search on Bibsonomy Math. Log. Q. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Alexander Abian, Wael A. Amin An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Robert E. Beaudoin Strong Analogues of Martin's Axiom Imply Axiom R. Search on Bibsonomy J. Symb. Log. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
32J. Barkley Rosser, Atwell R. Turquette Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility. Search on Bibsonomy J. Symb. Log. The full citation details ... 1948 DBLP  DOI  BibTeX  RDF
30Franz Baader, Martin Knechtel, Rafael Peñaloza A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. Search on Bibsonomy ISWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Renate A. Schmidt, Dmitry Tishkovsky On combinations of propositional dynamic logic and doxastic modal logics. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
30Márta Takács Axioms of the System Behavior in FLC Using Uninormas. Search on Bibsonomy SACI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Xin Li 0009, Marc Moreno Maza, Éric Schost On the Virtues of Generic Programming for Symbolic Computation. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
30Vladimir Pestov Intrinsic dimension of a dataset: what properties does one expect? Search on Bibsonomy IJCNN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Arnold Beckmann Proofs, Programs and Abstract Complexity. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Yu Sun 0005, Yuefei Sui, Zhiping Li One Axiomatic System for the Ontology Revision. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Subsumption relation, Default inheritance, Ontologies, Belief revision
30Abolghasem Karimi Feizabadi, M. Mehdi Ebrahimi Point-Free Version of Kakutani Duality. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Kakutani duality, Riesz space, frame
30Shigeru Furuichi On uniqueness Theorems for Tsallis entropy and Tsallis relative entropy. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Mario Bravetti, Roberto Gorrieri A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Kazumi Nakamatsu, Atsuyuki Suzuki A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. Search on Bibsonomy Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Per Kreuger Axioms in Definitional Calculi. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Jan Friso Groote A New Strategy for Proving omega-Completeness applied to Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
30Raymond Reiter Equality and Domain Closure in First-Order Databases. Search on Bibsonomy J. ACM The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
30David G. Cantor On The Ambiguity Problem of Backus Systems. Search on Bibsonomy J. ACM The full citation details ... 1962 DBLP  DOI  BibTeX  RDF
30Zhenhua Duan, Nan Zhang 0001 A Complete Axiomatization of Propositional Projection Temporal Logic. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal logic, completeness, projection, inference rules, axiom
30Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet Test Selection Criteria for Quantifier-Free First-Order Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
30Delphine Longuet, Marc Aiguier Specification-Based Testing for CoCasl's Modal Specifications. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
30Johan van Benthem Modal Frame Correspondences and Fixed-Points. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Löb's Axiom, frame correspondence, modal ?-calculus, fixed-point
30Frank Hampel The Proper Fiducial Argument. Search on Bibsonomy GTIT-C The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fiducial argument, fiducial probability, R.A. Fisher, foundations of statistics, aleatory probabilities, epistemic probabilities, structure of epistemic probabilities, upper and lower probabilities, frequentist statistics, axiom of frequentist epistemic probability, intersubjective statistics, bets, odds, fair bets, successful bets, aposteriori interpretation of confidence intervals, Neyman-Pearson statistics, Behrens-Fisher problem, statistical inference, confidence interval, Bayesian statistics
30Olegas Vasilecas, Diana Bugaite Ontology-Based Information Systems Development: The Problem of Automation of Information Processing Rules. Search on Bibsonomy ADVIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SQL trigger, Ontology, axiom, ECA rule
30Miklós Ajtai A conjecture about polynomial time computable lattice-lattice functions. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF axiom of choice, algorithm, lattice
30Wilfred Ng An extension of the relational data model to incorporate ordered domains. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
30Ben C. Moszkowski A Complete Axiomatization of Interval Temporal Logic with Infinite Time. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
30Tomoko Ninomiya, Masao Mukaidono Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
30Seiki Akama, Yotaro Nakayama A Three-Valued Semantics for Discourse Representations. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF three-valued semantics, discourse representation theory, sequent calculus LKD, identity axiom, Gentzen's LK, predicate logic formulas, Schutte valuations, natural languages, calculus, proof theory, ternary logic
30Jan J. M. M. Rutten Nonwellfounded Sets and Programming Language Semantics. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics
26Franz Baader, Rafael Peñaloza Automata-Based Axiom Pinpointing. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Franz Baader, Rafael Peñaloza Axiom Pinpointing in General Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Petr Cintula Short note: on the redundancy of axiom (A3) in BL and MTL. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Frédéric Fürst, Francky Trichet Axiom-based ontology matching. Search on Bibsonomy K-CAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantic web, knowledge representation, knowledge engineering, conceptual graphs, ontology matching
26Sergei Soloviev 0001 A Complete Axiom System for Isomorphism of Types in Closed Categories. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Joseph Y. Halpern A Good Hoare Axiom System for an Algol-like Language. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF ALGOL
26Edmund M. Clarke Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
20Tomasz Jarmuzek, Andrzej Pietruszczak The Tense Logic for Master Argument in Prior's Reconstruction. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Master Argument of Diodorus Cronus, time and modalities, logical structures of time, modal and tense logics
20Sebastian Sequoiah-Grayson Mono-Agent Dynamics. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Michael Winter 0001 Complements in Distributive Allegories. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Spyros Galanis Syntactic foundations for unawareness of theorems. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded perception, uncertainty, modal logic, knowledge, unawareness, interactive epistemology
20Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova An axiomatic approach to algebrization. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algebrization, independence, relativization
20Marc Bezem, Dimitri Hendriks On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
20Alasdair McAndrew Teaching cryptography with open-source software. Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cryptography, computer science education, open-source software, discrete mathematics, exploratory learning
20Sheau-Farn Max Liang An Axiomatic Method for Cross Cultural Usability Analysis. Search on Bibsonomy HCI (10) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Axiomatic Design, Culture Similarities, Cross Cultural Usability
20Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen Axiomatizing Extended Temporal Logic Fragments Via Instantiation. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn Pinpointing in the Description Logic EL+. Search on Bibsonomy KI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Francesco Ciraulo, Giovanni Sambin Finiteness in a Minimalist Foundation. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets
20Andrew Schumann Non-Archimedean Fuzzy Reasoning. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Xin Li 0009, Marc Moreno Maza, Éric Schost Fast arithmetic for triangular sets: from theory to practice. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF high-performance, multiplication, triangular set
20Dejing Dou, Drew V. McDermott Deriving axioms across ontologies. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ontology translation, ontologies, agent communication, the Semantic web
20Michael Beeson, Robert Veroff, Larry Wos Double-Negation Elimination in Some Propositional Logics. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Russell O'Connor Essential Incompleteness of Arithmetic Verified by Coq. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Gerard Allwein, Hilmi Demir, Lee Pike Logics for Classes of Boolean Monoids. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF algebras of relations, Boolean monoids, correspondence theory, Kripke frames, relative modalities, CMOS circuits
20Alan Stewart, Maurice Clint, Joaquim Gabarró Barrier synchronisation: Axiomatisation and relaxation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Global synchronisation, Operation relaxation, High performance computing, Hoare logic, BSP
20Jean-François Monin Proof Pearl: From Concrete to Functional Unparsing. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Alexandre Miquel lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Lutz Straßburger, François Lamarche On Proof Nets for Multiplicative Linear Logic with Units. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Olivier Brunet A Labelled Sequent-Calculus for Observation Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Miklós Ajtai Random Lattices and a Conjectured 0 - 1 Law about Their Polynomial Time Computable Properties. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Petr Cintula About axiomatic systems of product fuzzy logic. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Product logic, Fuzzy logic, Many-valued logic
20Chris Fox, Shalom Lappin A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. Search on Bibsonomy LACL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Joan Bagaria Bounded forcing axioms as principles of generic absoluteness. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Hui Wang 0001, David A. Bell, Fionn Murtagh Axiomatic Approach to Feature Subset Selection Based on Relevance. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Machine learning, entropy, knowledge discovery, relevance, feature subset selection
20Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton Formal Methods for Extensions to CAS. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Femke van Raamsdonk Higher-Order Rewriting. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Jacek Chrzaszcz Polymorphic Subtyping Without Distributivity. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Holger Hermanns, Markus Lohrey Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Xudong Luo, Chengqi Zhang A Unified Algebraic Structure for Uncertain Reasoning. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Manfred Droste, Paul Gastin Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1070 (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