The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1938-1961 (15) 1962-1967 (15) 1968-1970 (20) 1971-1973 (19) 1974-1976 (31) 1977 (16) 1978 (16) 1979 (20) 1980 (25) 1981 (20) 1982 (30) 1983 (27) 1984 (30) 1985 (31) 1986 (46) 1987 (51) 1988 (50) 1989 (70) 1990 (64) 1991 (70) 1992 (86) 1993 (86) 1994 (106) 1995 (96) 1996 (106) 1997 (93) 1998 (115) 1999 (130) 2000 (167) 2001 (155) 2002 (172) 2003 (193) 2004 (240) 2005 (291) 2006 (318) 2007 (310) 2008 (333) 2009 (278) 2010 (118) 2011 (68) 2012 (98) 2013 (94) 2014 (102) 2015 (112) 2016 (86) 2017 (122) 2018 (105) 2019 (19)
Publication types (Num. hits)
article(1882) book(4) incollection(23) inproceedings(2933) phdthesis(23)
Venues (Conferences, Journals, ...)
CoRR(142) J. Symb. Log.(81) Notre Dame Journal of Formal L...(76) Studia Logica(76) Theor. Comput. Sci.(72) MFCS(70) CSL(68) CADE(67) J. ACM(57) Math. Log. Q.(49) LICS(45) ICALP(44) STACS(44) LPAR(42) POPL(42) Arch. Math. Log.(40) More (+10 of total 1330)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3642 occurrences of 1964 keywords

Results
Found 4865 publication records. Showing 4865 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
106Klaus Ambos-Spies, Levke Bentzien Separating NP-Completeness Notions under Strong Hypotheses. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1997 DBLP  DOI  BibTeX  RDF NP-completeness notions separation, strong hypotheses, NP-m-completeness, NP-T-completeness, bounded-query reducibilities, resource bounded Baire category concept, computational complexity, resource bounded measure
100Daniel Leivant On the Completeness of Dynamic Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF inductive completeness, relative completeness, arithmetical completeness, Dynamic logic
94Zhenghua Pan Relation between Semantic Completeness and Syntax Completeness on General Formal Systems. Search on Bibsonomy SKG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
92S. Karunanithi, Arthur D. Friedman Some New Types of Logical Completeness. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF weak completeness, Combinational functions, complement completeness, dual completeness, logic primitives, necessary and sufficient conditions for c-completeness, strong c-completeness, weak c-completeness, strong completeness
77Klaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng A Comparison of Weak Completeness Notions. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Weak Completeness, Measure, Genericity, Completeness
59Yuan Lin 0005, Richard C. Holt, Andrew J. Malton Completeness of a Fact Extractor. Search on Bibsonomy WCRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Jens Knoop, Oliver Rüthing Optimization Under the Perspective of Soundness, Completeness, and Reusability. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
58Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union
54Roberto Giacobazzi, Elisa Quintarelli Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
53Tauqeer Hussain, Mian M. Awais An Effort-Based Approach to Measure Completeness of an Entity-Relationship Model. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Reinhard Pichler Completeness and Redundancy in Constrained Clause Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
53Daniel Leivant, Tim Fernando Skinny and Fleshy Failures of Relative Completeness. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
53Mila Dalla Preda Completeness Refinement in Abstract Symbolic Trajectory Evaluation. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation
53Reiner Hähnle, Neil V. Murray, Erik Rosenthal Completeness for Linear Regular Negation Normal Form Inference Systems. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
52John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran Partial Bi-immunity, Scaled Dimension, and NP-Completeness. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Many-one completeness, Bi-immunity, Scaled dimension, Turing completeness
47Rotem Oshman An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Joe Hendrix, José Meseguer On the Completeness of Context-Sensitive Order-Sorted Specifications. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Aart Middeldorp, Yoshihito Toyama Completeness of Combinations of Constructor Systems. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47François Bancilhon On the Completeness of Query Languages for Relational Data Bases. Search on Bibsonomy MFCS The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
47Adel Bouhoula Simultaneous checking of completeness and ground confluence for algebraic specifications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction
47Donald P. Ballou, Harold L. Pazer Modeling Completeness versus Consistency Tradeoffs in Information Decision Contexts. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF tradeoffs for data quality, consistency, decision making, Completeness, data quality
47James Clifford, Albert Croker, Alexander Tuzhilin On Completeness of Historical Relational Query Languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF temporal grouping, temporal logic, query languages, completeness, temporal databases, relational model, historical databases
47Deepak Kapur, Paliath Narendran, Hantao Zhang Complexity of Sufficient-Completeness. Search on Bibsonomy FSTTCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF normal forms, term rewriting systems, PSPACE, Sufficient-completeness
46Boris A. Romov Completeness Theory for Vector Partial Multiple-Valued Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
41Michele Basaldella, Kazushige Terui On the Meaning of Logical Completeness. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Jit Biswas, Felix Naumann, Qiang Qiu Assessing the Completeness of Sensor Data. Search on Bibsonomy DASFAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41David A. Schmidt Comparing Completeness Properties of Static Analyses and Their Logics. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Venkatesan Guruswami On 2-Query Codeword Testing with Near-Perfect Completeness. Search on Bibsonomy ISAAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Tauqeer Hussain, Mian M. Awais, Shafay Shamail A Fuzzy Based Approach to Measure Completeness of an Entity-Relationship Model. Search on Bibsonomy ER (Workshops) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Satoshi Okui, Aart Middeldorp, Tetsuo Ida Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
41Edgar 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
41Francesc Esteva, Lluis Godo, Carles Noguera Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
41Omer Horvitz, Virgil D. Gligor Weak Key Authenticity and the Computational Completeness of Formal Encryption. Search on Bibsonomy CRYPTO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Weak Key Authenticity, Authentication, Cryptography, Encryption, Completeness, Formal Reasoning
36Isabella Mastroeni Deriving Bisimulations by Simplifying Partitions. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract interpretations complete. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Rob J. van Glabbeek Axiomatizing Flat Iteration. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36V. S. Subrahmanian Query Processing in Quantitative Logic Programming. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Pieter J. Collins, C. A. Hendrie On Strict Extensions of Nearness Spaces. Search on Bibsonomy Applied Categorical Structures The full citation details ... 2000 DBLP  DOI  BibTeX  RDF T-uniformity, nearness space, round Cauchy filter, strict extension, completeness
36Yoshio Okamoto, Takeaki Uno, Ryuhei Uehara Linear-Time Counting Algorithms for Independent Sets in Chordal Graphs. Search on Bibsonomy WG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF # P-completeness, NP-completeness, polynomial time algorithm, enumeration, independent set, Chordal graph, counting
35Antonio Caruso 0001, Stefano Chessa, Piero Maestrini Worst-Case Diagnosis Completeness in Regular Graphs under the PMC Model. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF isoperimeter, Fault tolerance, Graph Theory, parallel architectures, fault diagnosis, system-level diagnosis
35Zhongnan Shen, Jianwen Su On Completeness of Web Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Marius Petria An Institutional Version of Gödel's Completeness Theorem. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Joe Hendrix, Manuel Clavel, José Meseguer A Sufficient Completeness Reasoning Tool for Partial Specifications. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35M. Kathryn Brohman, Richard T. Watson, Gabriele Piccoli, A. Parasuraman NCSS Process Completeness: Construct Development and Preliminary Validation. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Lars Engebretsen, Jonas Holmerin Three-Query PCPs with Perfect Completeness over non-Boolean Domains. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Wlodzimierz Drabent, Miroslawa Milkowska Proving Correctness and Completeness of Normal Programs - A Declarative Approach. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Holger Spakowski, Jörg Vogel 0001 Theta2p-Completeness: A Classical Approach for New Results. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35M. R. K. Krishna Rao Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
35Aart Middeldorp, Erik Hamoen Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
35Andreas Goerdt Hoare Calculi for Higher-Type Control Structures and Their Completeness in the Sense of Cook. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35David Harel Arithmetical Completeness in Logics of Programs. Search on Bibsonomy ICALP The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
35Robert Anderson, W. W. Bledsoe A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness. Search on Bibsonomy J. ACM The full citation details ... 1970 DBLP  DOI  BibTeX  RDF
34Pierluigi Crescenzi Using AVs to explain NP-completeness. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF NP-completeness, algorithm visualization
34Fabian Panse, Norbert Ritter Completeness in Databases with Maybe-Tuples. Search on Bibsonomy ER Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF data completeness, maybe tuple, probabilistic database
34Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge Strong Completeness and Limited Canonicity for PDL. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
34Gilberto A. Cysneiros Filho, Andrea Zisman Traceability and completeness checking for agent-oriented systems. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF completeness checking, multi-agent systems, traceability, agent oriented software engineering
34Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems
34Marcel Karnstedt, Kai-Uwe Sattler, Michael Haß, Manfred Hauswirth, Brahmananda Sapkota, Roman Schmidt Approximating query completeness by predicting the number of answers in DHT-based web applications. Search on Bibsonomy WIDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF query completeness, query processing, dht, probabilistic guarantees
34Mark Burgin Universality, Reducibility, and Completeness. Search on Bibsonomy MCU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF problem completeness, algorithm, computability, reducibility, universal, computing power, problem hardness
34David S. Johnson The NP-completeness column. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lattice bases, NP-completeness, coding theory, perfect graphs, primality testing, open problems
34Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Finite ranges of probabilities, Completeness, Probabilistic logic
34Amit M. Paradkar, Tim Klinger Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Completeness Checking, Reachability, Consistency Checking
34Naijun Zhan Completeness of Higher-Order Duration Calculus. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF duration calculus higher-order logic interval temporal logic completeness
34Wolfgang Bibel, Elmar Eder Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF connection-graph resolution, decomposition of unsatisfiable formulas, semantic trees, regular graphs, strong completeness
34Adel Bouhoula Sufficient Completeness and Parameterized Proofs by Induction. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness
34Michael R. Hansen, Zhou Chaochen Semantics and Completeness of Duration Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic
34Jan A. Plaza Completeness for Propositional Logic Programs with Negation. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness
34Michael Merritt Completeness Theorems for Automata. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF state mappings, Specification, implementation, products, completeness, automata
34Xiaodan Chen, ShaoBai Chen On the Upper Completeness of Quasi-metric Spaces. Search on Bibsonomy IITSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Quasi-metric space, upper limit, upper closed set, Yoneda-completeness, upper completeness
30Dushyanth Narayanan, Austin Donnelly, Richard Mortier, Antony I. T. Rowstron Delay aware querying with Seaweed. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Dale Miller 0001, Alexis Saurin From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi Notions of dependency satisfaction. Search on Bibsonomy J. ACM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
30Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan Further Results on Insertion-Deletion Systems with One-Sided Contexts. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Insertion-deletion systems, computational non-completeness, universality
30Roberto Giacobazzi, Isabella Mastroeni Adjoining Declassification and Attack Models by Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
29Roald Lengu, Paolo Missier, Alvaro A. A. Fernandes, Giovanna Guerrini, Marco Mesiti Time-completeness trade-offs in record linkage using adaptive query processing. Search on Bibsonomy EDBT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze Conway's Question: The Chase for Completeness. Search on Bibsonomy Applied Categorical Structures The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30
29Kohei Honda, Martin Berger, Nobuko Yoshida Descriptive and Relative Completeness of Logics for Higher-Order Functions. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Leslie G. Valiant Completeness for Parity Problems. Search on Bibsonomy COCOON The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Mircea Marin, Aart Middeldorp New completeness results for lazy conditional narrowing. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conditional rewriting, narrowing, evaluation strategies
29Mohamed G. Gouda, Alex X. Liu Firewall Design: Consistency, Completeness, and Compactness. Search on Bibsonomy ICDCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Miquel Bofill, Albert Rubio Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Martin Giese A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Adel Bouhoula Simultaneous Checking of Completeness and Ground Confluence. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Wil Dekkers, Martin W. Bunder, Henk Barendregt Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification:03B40
29Levke Bentzien Positive Turing and Truth-Table Completeness for NEXP Are Incomparable. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Robert Demolombe Validity Queries and Completeness Queries. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Uncertainty, Epistemic Logic, Intelligent Information Systems
29Helmut Emmelmann Testing Completeness of Code Selector Specifications. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Steven Klusener Completeness in Real Time Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF & Phrases Real Time, Integration, Process Algebra, SOS, ACP
29Joseph Y. Halpern, John H. Williams, Edward L. Wimmers Completeness of Rewrite Rules and Rewrite Strategies for FP Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF FP
29Hendrik Decker, Lawrence Cavedon Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
29Jieh Hsiang, Michaël Rusinowitch A New Method for Establishing Refutational Completeness in Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29Alan J. Demers, James E. Donahue "Type-Completeness" as a Language Design Principle. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
28Wenfei Fan, Floris Geerts Relative information completeness. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information completeness, master data, constraints, consistency
28Philippe Balbiani Axiomatization and Completeness of Lexicographic Products of Modal Logics. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lexicographic product, axiomatization/completeness, Modal logic
28Tommaso Flaminio Strong non-standard completeness for fuzzy logics. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Non-standard completeness, Ultraproduct construction, Fuzzy events, Conditional probability
28Jan Kodovský, Jessica J. Fridrich On completeness of feature spaces in blind steganalysis. Search on Bibsonomy MM&Sec The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fcm, steganography, completeness, blind steganalysis
28Van Hung Le, Fei Liu 0003, Dinh Khang Tran Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming. Search on Bibsonomy ICIC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hedge algebra, linguistic value, completeness, fuzzy logic programming, fixpoint semantics, linguistic hedge
28Torben Braüner Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Modal logic, hybrid logic, natural deduction, functional completeness
28Rana Barua Completeness of a combination of neighbourhood logic and temporal logic. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Neighbourhood logic, Completeness, Possible world semantics, Interval logic, First-order temporal logic
Displaying result #1 - #100 of 4865 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license