The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase np-completeness (changed automatically) 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 (32) 1977 (16) 1978 (19) 1979 (20) 1980 (25) 1981 (21) 1982 (30) 1983 (27) 1984 (30) 1985 (31) 1986 (46) 1987 (53) 1988 (50) 1989 (70) 1990 (64) 1991 (74) 1992 (86) 1993 (86) 1994 (106) 1995 (97) 1996 (106) 1997 (93) 1998 (115) 1999 (132) 2000 (168) 2001 (157) 2002 (174) 2003 (195) 2004 (240) 2005 (292) 2006 (320) 2007 (313) 2008 (333) 2009 (275) 2010 (120) 2011 (71) 2012 (99) 2013 (97) 2014 (106) 2015 (116) 2016 (91) 2017 (125) 2018 (111) 2019 (118) 2020 (119) 2021 (120) 2022 (132) 2023 (115) 2024 (25)
Publication types (Num. hits)
article(2253) book(7) incollection(33) inproceedings(3195) phdthesis(42)
Venues (Conferences, Journals, ...)
CoRR(267) J. Symb. Log.(87) Stud Logica(81) Theor. Comput. Sci.(81) Notre Dame J. Formal Log.(76) MFCS(72) CSL(70) CADE(69) J. ACM(59) LICS(53) Math. Log. Q.(52) ICALP(47) STACS(47) Arch. Math. Log.(46) Ann. Pure Appl. Log.(44) LPAR(42) More (+10 of total 1527)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3642 occurrences of 1964 keywords

Results
Found 5530 publication records. Showing 5530 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
101Klaus Ambos-Spies, Levke Bentzien Separating NP-Completeness Notions under Strong Hypotheses. Search on Bibsonomy CCC 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
95Daniel 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
93S. 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
88Zhenghua 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
73Klaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng A Comparison of Weak Completeness Notions. Search on Bibsonomy CCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Weak Completeness, Measure, Genericity, Completeness
57Alioune 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
56Jens 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
55Yuan 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
51John 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
50Mila 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
50Reiner 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
50Roberto 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
49Tauqeer 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
49Reinhard Pichler Completeness and Redundancy in Constrained Clause Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Daniel Leivant, Tim Fernando Skinny and Fleshy Failures of Relative Completeness. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
45Boris 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
45Adel 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
45Donald 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
45James 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
45Deepak Kapur, Paliath Narendran, Hantao Zhang 0001 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
44Rotem Oshman An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Joe Hendrix, José Meseguer 0001 On the Completeness of Context-Sensitive Order-Sorted Specifications. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Aart Middeldorp, Yoshihito Toyama Completeness of Combinations of Constructor Systems. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
44Franç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
39Francesc Esteva, Lluís 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
39Omer 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
38Michele Basaldella, Kazushige Terui On the Meaning of Logical Completeness. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Venkatesan Guruswami On 2-Query Codeword Testing with Near-Perfect Completeness. Search on Bibsonomy ISAAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38David A. Schmidt Comparing Completeness Properties of Static Analyses and Their Logics. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Jit Biswas, Felix Naumann, Qiang Qiu Assessing the Completeness of Sensor Data. Search on Bibsonomy DASFAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Tauqeer 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
38Satoshi 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
38Edgar 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
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
34Yoshio 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
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 J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
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
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
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
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 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
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
34Pieter J. Collins, C. A. Hendrie On Strict Extensions of Nearness Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF T-uniformity, nearness space, round Cauchy filter, strict extension, completeness
33Antonio 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
33Zhongnan Shen, Jianwen Su On Completeness of Web Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Marius Petria An Institutional Version of Gödel's Completeness Theorem. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33M. 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
33Joe Hendrix, Manuel Clavel, José Meseguer 0001 A Sufficient Completeness Reasoning Tool for Partial Specifications. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Lars Engebretsen, Jonas Holmerin Three-Query PCPs with Perfect Completeness over non-Boolean Domains. Search on Bibsonomy CCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Wlodzimierz 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
33Holger 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
33M. 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
33Aart 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
33Andreas 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
33David Harel Arithmetical Completeness in Logics of Programs. Search on Bibsonomy ICALP The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
33Robert 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
33Isabella Mastroeni Deriving Bisimulations by Simplifying Partitions. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract interpretations complete. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Rob J. van Glabbeek Axiomatizing Flat Iteration. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33V. S. Subrahmanian Query Processing in Quantitative Logic Programming. Search on Bibsonomy CADE The full citation details ... 1988 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
28Van Hung Le 0001, 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
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
28Torben Braüner Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Search on Bibsonomy Stud 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 Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Neighbourhood logic, Completeness, Possible world semantics, Interval logic, First-order temporal logic
28Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen Completeness in two-party secure computation: a computational view. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF oblivious tansfer, completeness, secure computation
28Xiuzhen Cheng 0001, Bhagirath Narahari, Rahul Simha, Maggie Xiaoyan Cheng, Dan Liu Strong Minimum Energy Topology in Wireless Sensor Networks: NP-Completeness and Heuristics. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Minimum energy topology, incremental power heuristic, wireless sensor networks, NP-Completeness, power control
28Alexander L. Chistov, Hervé Fournier, Leonid Gurvits, Pascal Koiran Vandermonde Matrices, NP-Completeness, and Transversal Subspaces. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Vandermonde Matrices, Transversal Subspaces, NP-Completeness
28Grigori Mints, Darko Sarenac Completeness of indexed epsilon-calculus. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Epsilon calculus, Finite choice, Completeness
28Nancy G. Leveson Completeness in formal specification language design for process-control systems. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF completeness, process-control, Formal specification language
28James Laird Finite Models and Full Completeness. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF affine logic, full completeness, effective presentability, linear logic, PCF
28Jack Jie Dai, Jack H. Lutz Query Order and NP-Completeness. Search on Bibsonomy CCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF query order, resource-bounded genericity, computational complexity, NP-completeness, complexity classes, resource-bounded measure
28Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens On the completeness of object-creating database transformation languages. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational completeness, constructive transformation, while loop, object-oriented database, first-order logic, object creation
28Mats Per Erik Heimdahl, Nancy G. Leveson Completeness and Consistency in Hierarchical State-Based Requirements. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics
28Mats Per Erik Heimdahl, Barbara J. Czerny Using PVS to analyze hierarchical state-based requirements for completeness and consistency. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
28Boris A. Romov Polynomial Completeness Criteria in Finite Boolean Algebras. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra
28Pankaj Jalote Testing the Completeness of Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
28Donald A. Varvel, Leonard D. Shapiro The Computational Completeness of Extended Database Query Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF computational completeness, extended database query languages, POSTGRES, GENESIS, Turing machine interpreter, traditional database languages, programming language, database management systems, query languages, computational power
28Sergei G. Vorobyov A structural completeness theorem for a class of conditional rewrite rule systems. Search on Bibsonomy Conference on Computer Logic The full citation details ... 1988 DBLP  DOI  BibTeX  RDF conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness
28Alexander 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
28Roberto 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
28Lothar Rogge Call Completeness Implies Completeness in the n -period Model of a Financial Market. Search on Bibsonomy Finance Stochastics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF JEL Classifications C60, G10
28Roald 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
28Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze Conway's Question: The Chase for Completeness. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30
28Kohei Honda 0001, Martin Berger 0001, 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
28Leslie G. Valiant Completeness for Parity Problems. Search on Bibsonomy COCOON The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Mircea 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
28Mohamed G. Gouda, Alex X. Liu Firewall Design: Consistency, Completeness, and Compactness. Search on Bibsonomy ICDCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Miquel 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
Displaying result #1 - #100 of 5530 (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