The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase axiomatic theory (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-2002 (15) 2003-2009 (17) 2010-2017 (4)
Publication types (Num. hits)
article(19) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 19 keywords

Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
43Olaf Kummer, Mark-Oliver Stehr Petri's Axioms of Concurrency- A Selection of Recent Results. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Topics Axiomatic theory of concurrency/causality
39William M. Farmer Biform Theories in Chiron. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Shifei Ding, Fengxiang Jin A Novel Fuzzy Likelihood Measure Algorithm. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Talal Ali Al-Hawary, D. George McRae Toward an Elementary Axiomatic Theory of the Category of LP-Matroids. Search on Bibsonomy Applied Categorical Structures The full citation details ... 2003 DBLP  DOI  BibTeX  RDF strong map, category, matroid
24Alon Altman, Moshe Tennenholtz Ranking systems: the PageRank axioms. Search on Bibsonomy EC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF axiomatic theory, multi-agent systems, PageRank
23Predrag Janicic, Pedro Quaresma System Description: GCLCprover + GeoThms. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Brian Knight, Jixin Ma Time representation: A taxonomy of temporal models. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF time representation, temporal system, semantic analysis, axioms
18Anirudha Majumdar, Marco Pavone How Should a Robot Assess Risk? Towards an Axiomatic Theory of Risk in Robotics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
18Mark Burgin Decidability and Universality in the Axiomatic Theory of Computability and Algorithms. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
18Oliver Deiser An Axiomatic Theory of Well-Orderings. Search on Bibsonomy Rew. Symb. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
18Tian Lan, David T. H. Kao, Mung Chiang, Ashutosh Sabharwal An Axiomatic Theory of Fairness in Network Resource Allocation. Search on Bibsonomy INFOCOM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
18Tian Lan, David T. H. Kao, Mung Chiang, Ashutosh Sabharwal An Axiomatic Theory of Fairness Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
18Christopher P. Chambers An axiomatic theory of political representation. Search on Bibsonomy J. Economic Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Gianfranco Cerofolini, Paolo Amato Fuzzy Chemistry - An Axiomatic Theory for General Chemistry. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Yong Zeng Axiomatic Theory of Design Modeling. Search on Bibsonomy Transactions of the SDPS The full citation details ... 2002 DBLP  BibTeX  RDF
18Jim Cunningham Towards an Axiomatic Theory of Consciousness. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Mustafa Demirci Axiomatic theory of intuitionistic fuzzy sets. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Divyendu Sinha, Edward R. Dougherty A general axiomatic theory of intrinsically fuzzy mathematical morphologies. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
18Andranik Tangian Towards an Axiomatic Theory of Artificial Perception. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
18Jan Kuper An Axiomatic Theory for Partial Functions Search on Bibsonomy Inf. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18P. Venkat Rangan An axiomatic theory of trust in secure communication protocols. Search on Bibsonomy Computers & Security The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
18Ronald E. Prather An Axiomatic Theory of Software Complexity Measure. Search on Bibsonomy Comput. J. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
18Howard C. Wasserman A second-order axiomatic theory of strings. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
18Bernard Monjardet An Axiomatic Theory of Tournament Aggregation. Search on Bibsonomy Math. Oper. Res. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
15Joe Halliwell, Qiang Shen Linguistic probabilities: theory and application. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Anders Kock Affine Connections, and Midpoint Formation. Search on Bibsonomy DGCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Thomas Bittner, Maureen Donnelly A Classification of Spatio-temporal Entities Based on Their Location in Space-Time. Search on Bibsonomy OTM Workshops (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Martin Erwig Toward the Automatic Derivation of XML Transformations. Search on Bibsonomy ER (Workshops) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo Qualitative temporal representation and reasoning about points, intervals and durations. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Flemming Topsøe Game theoretical optimization inspired by information theory. Search on Bibsonomy J. Global Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Two-person zero-sum games, MaxEnt, Complexity, Entropy, Redundancy, Divergence
13Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol Verification of a sliding window protocol in µCRL and PVS. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation
13James Cheney A Simpler Proof Theory for Nominal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol Verifying a Sliding Window Protocol in µCRL. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Pavol Král An Axiomatic Approach to Cardinalities of IF Sets. Search on Bibsonomy Fuzzy Days The full citation details ... 2004 DBLP  DOI  BibTeX  RDF IF sets, cardinality
13Emilio Remolina, Juan A. Fernandez, Benjamin Kuipers, Javier Gonzalez Formalizing Regions in the Spatial Semantic Hierarchy: An AH-Graphs Implementation Approach. Search on Bibsonomy COSIT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hierarchical representations of space, Spatial reasoning, Regions, Cognitive map
13Greg Nelson Verifying Reachability Invariants of Linked Structures. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license