The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1950-1966 (15) 1967-1971 (20) 1972-1973 (18) 1974-1975 (21) 1976-1977 (26) 1978-1979 (25) 1980 (20) 1981 (20) 1982 (17) 1983 (27) 1984 (40) 1985 (46) 1986 (55) 1987 (57) 1988 (66) 1989 (78) 1990 (141) 1991 (88) 1992 (103) 1993 (93) 1994 (138) 1995 (149) 1996 (138) 1997 (144) 1998 (173) 1999 (227) 2000 (239) 2001 (188) 2002 (294) 2003 (302) 2004 (390) 2005 (476) 2006 (506) 2007 (1041) 2008 (1039) 2009 (481) 2010 (824) 2011 (333) 2012 (437) 2013 (565) 2014 (513) 2015 (620) 2016 (565) 2017 (483) 2018 (608) 2019 (559) 2020 (464) 2021 (629) 2022 (486) 2023 (474) 2024 (46)
Publication types (Num. hits)
article(3176) book(48) incollection(239) inproceedings(10761) phdthesis(132) proceedings(151)
Venues (Conferences, Journals, ...)
ICIC (2)(1227) ICIC (1)(1050) BIC-TA(841) ICIC (3)(444) CoRR(375) SITA(359) BIC-TA (2)(287) BIC-TA (1)(270) VSTTE(242) J. Symb. Log.(231) ATAL(175) ISIPTA(172) SETTA(156) SETN(151) HICSS(147) HCI (1)(112) More (+10 of total 2212)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5620 occurrences of 3172 keywords

Results
Found 14507 publication records. Showing 14507 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88Franz Baader, Werner Nutt Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Equational unification, Semiadditive categories, Semirings, Equational theories
58Laurie Murphy, Lynda Thomas Dangers of a fixed mindset: implications of self-theories research for computer science education. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF self-theories, theories of intelligence, cs1, cs ed research
58Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of propositional nested circumscription and nested abnormality theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription
54Scott L. Schneberger, Hugh J. Watson, Carol E. Pollard The Efficacy of "Little t" Theories. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Steffen Lewitzka, Ruy J. G. B. de Queiroz On dividing chains in simple theories. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Simple theories, Dividing chains, Morley sequences
49Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang Application of uncertainty reasoning theory to satellite fault detection and diagnosis. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Mark Preston, Nikolay Mehandjiev A framework for classifying intelligent design theories. Search on Bibsonomy WISER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intelligent design (ID), software engineering (SE), software development, design methodologies
49Thomas Bittner, Andrew U. Frank On the design of formal theories of geographic space. Search on Bibsonomy J. Geogr. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Florent Jacquemard, Christoph Meyer 0001, Christoph Weidenbach Unification in Extension of Shallow Equational Theories. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Iluju Kiringa Specifying active databases as non-Markovian theories of actions. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantic of active databases, Logical foundations, Action theories, non-Markovian control, Knowledge representation, Situation calculus
49Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 Unifying Theories in ProofPower-Z. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Unifying Theories of Programming, theorem prover
49Manfred Schmidt-Schauß Unification in a Combination of Arbitrary Disjoint Equational Theories. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Decidability of Unification, Combination of equational theories, Boolean rings, Unification, Equational theories, Abelian groups
44Peter J. Graham The theoretical diagnosis of skepticism. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Skepticism, Epistemic Justification, Reliabilism, Michael Williams, Contextualism
44Dov M. Gabbay, Andrzej Szalas Annotation Theories over Finite Graphs. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
44Erik Tidén Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
44Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 New results on rewrite-based satisfiability procedures. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
44Libor Behounek, Petr Cintula Features of Mathematical Theories in Formal Fuzzy Logic. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
44Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang The Rough Logic and Roughness of Logical Theories. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logical theories, refinement, Rough set theory, logical implication
44Fangzhen Lin, Kewen Wang 0001 From Causal Theories to Logic Programs (Sometimes). Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF disjunctive logic programs with classical negation, causal theories of actions, situation calculus
44Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes Iteration 2-theories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF iteration theories, fixed point operation, rewriting, initiality, equational logic, algebraic theories, 2-categories
42Cristian S. Calude Information: The Algorithmic Paradigm. Search on Bibsonomy Formal Theories of Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Rundong Mu, Qin Li A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Jim Woodcock 0001 Hoare and He's Unifying Theories of Programming. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
41Vahid Dabbaghian, Vijay Kumar Mago Introducing Theories and Simulations of Complex Social Systems. Search on Bibsonomy Theories and Simulations of Complex Social Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
41Michael J. Wooldridge, Nicholas R. Jennings Agent Theories, Architectures, and Languages: A Survey. Search on Bibsonomy ECAI Workshop on Agent Theories, Architectures, and Languages The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Jayadev Misra The Case against a Grand Unification Theory. Search on Bibsonomy ICSR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Ann Svensson Instructional-Design Theories Applied on a Web-Based Learning Application. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF instructional-design theory, interactive, web-based application, multimedia learning
39Viorica Sofronie-Stokkermans Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Margaret-Anne D. Storey Theories, tools and research methods in program comprehension: past, present and future. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Software tools, Cognitive models, Program comprehension, Software visualization, Research methods, Software navigation, Collaborative software engineering
39Piotr Hoffman Unions of Equational Monadic Theories. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Margaret-Anne D. Storey Theories, Methods and Tools in Program Comprehension: Past, Present and Future. Search on Bibsonomy IWPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Christophe Ringeissen Matching in a Class of Combined Non-disjoint Theories. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Kumar Neeraj Verma Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Franz Baader, Cesare Tinelli Combining Decision Procedures for Positive Theories Sharing Constructors. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Alwen Tiu, Rajeev Goré A Proof Theoretic Analysis of Intruder Theories. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF AC convergent theories, intruder deduction, security protocols, sequent calculus
39Thomas Eiter, Kazuhisa Makino Generating All Abductive Explanations for Queries on Propositional Horn Theories. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Horn theories, polynomial total time computation, NP-hardness, abduction, propositional logic, Computational logic
39Markus Voss Systems theories and architectures for ECBS. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF engineering discipline, CBS lifecycles, systems analysis, systems engineering, systems theories, computer-based systems, ECBS
39Manfred Schmidt-Schauß Unification in Many-Sorted Eqational Theories. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Many-Sorted Logics, Heterogeneous Algebras, Unification, Equational Theories
39Philippe Chatalic Viewing Hypothesis Theories as Constrained Graded Theories. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Uncertain and Incomplete knowledge representation and semantics, Partially ordered grades, Hypothesis theories, Modal Logic
37Giovanni Sommaruga Introduction. Search on Bibsonomy Formal Theories of Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Robert van Rooij Comparing Questions and Answers: A Bit of Logic, a Bit of Language, and Some Bits of Information. Search on Bibsonomy Formal Theories of Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz A Computerized Referee. Search on Bibsonomy Reasoning, Action and Interaction in AI Theories and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Jo Erskine Hannay, Dag I. K. Sjøberg, Tore Dybå A Systematic Review of Theory Use in Software Engineering Experiments. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF experiments, Theory, empirical software engineering, research methodology
34Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska Lattice-Based Relation Algebras and Their Representability. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34V. Wiktor Marek, Miroslaw Truszczynski Autoepistemic Logic. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
34Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini Logic Programming within a Functional Framework. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34Pascal Fontaine Combinations of Theories for Decidable Fragments of First-Order Logic. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34David Poole 0001, Clinton Smyth, Rita Sharma Semantic Science: Ontologies, Data and Probabilistic Theories. Search on Bibsonomy URSW (LNCS Vol.) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Khalil Djelloul An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. Search on Bibsonomy CSCLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34William M. Farmer Biform Theories in Chiron. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Sergey P. Shlepakov Functional Equations in Shostak Theories. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Cesare Tinelli, Calogero G. Zarba Combining Nonstably Infinite Theories. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF combination of decision procedures, Nelson-Oppen method
34Piotr Hoffman Union of Equational Theories: An Algebraic Approach. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz Almost Definite Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Bret Swan, France Bélanger, Mary Beth Watson-Manheim Theoretical Foundations for Distributed Work: Multilevel, Incentive Theories to Address Current Dilemmas. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Kumar Neeraj Verma On Closure under Complementation of Equational Tree Automata for Theories Extending AC. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Sava Krstic, Sylvain Conchon Canonization for Disjoint Unions of Theories. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Iluju Kiringa, Raymond Reiter A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions. Search on Bibsonomy DBPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Calogero G. Zarba A Tableau Calculus for Combining Non-disjoint Theories. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Natarajan Shankar, Harald Rueß Combining Shostak Theories. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34David Cyrluk, Patrick Lincoln, Natarajan Shankar On Shostak's Decision Procedure for Combinations of Theories. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
34Franz Baader, Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
34Donald Sannella, Rod M. Burstall Structured Theories in LCF. Search on Bibsonomy CAAP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
34Robert E. Shostak Deciding Combinations of Theories. Search on Bibsonomy CADE The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
34Indira R. Guzman, Michelle L. Kaarst-Brown Organizational survival and alignment: insights into conflicting perspectives on the role of the IT professional. Search on Bibsonomy CPR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF role of IT professionals, IT professional, strategic alignment, organizational theories
34Peter Aczel On Relating Type Theories and Set Theories. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Francesco Gagliardi 0001 The Necessity of Machine Learning and Epistemology in the Development of Categorization Theories: A Case Study in Prototype-Exemplar Debate. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Categorization Theories, Bias-Variance Dilemma, Machine Learning, Instance-Based Learning, Epistemology, Cognitive Psychology
34Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
34Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SAT solvers, Satisfiability Modulo Theories
34Raymond T. Boute Calculational semantics: Deriving programming theories from equations by functional predicate calculus. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
34Angelina Totolo An exploration of the theories that explain the failure of information technology adoption in africa. Search on Bibsonomy SIGITE Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF theories, Africa, information technology adoption
34Agostino Dovier, Carla Piazza, Enrico Pontelli Disunification in ACI1 Theories. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF disunification, ACI, complexity, sets, equational theories, CLP
34Pierre-Etienne Moreau, Hélène Kirchner A Compiler for Rewrite Programs in Associative-Commutative Theories. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF AC theories, AC many-to-one matching, compilation, rewrite systems
34Hans-Jürgen Bürckert Solving Disequations in Equational Theories. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF E-unification, E-disunification, solving equations and disequations, Equational theories
32Jonathan P. Bowen, Qin Li 0002, Qiwen Xu (eds.) Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Dines Bjørner Domain Modelling: A Foundation for Software Development. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Bernd Finkbeiner, Ernst-Rüdiger Olderog Concurrent Hyperproperties. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Jonathan P. Bowen, Huibiao Zhu Jifeng He at Oxford and Beyond: An Appreciation. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Mike Hinchey, Emil Vassev KnowLang - A Formal Specification Model for Self-adaptive Systems. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Andrew Butterfield, Frédéric Tuong Applying Formal Verification to an Open-Source Real-Time Operating System. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Ting Su 0001, Chengyu Zhang 0001, Yichen Yan, Lingling Fan 0003, Yang Liu 0003, Zhoulai Fu, Zhendong Su 0001 Towards Efficient Data-Flow Test Data Generation. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda UTP, Circus, and Isabelle. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Frédéric Mallet Time: It is only Logical! Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke Specifying and Reasoning About Shared-Variable Concurrency. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Zhiming Liu 0001 Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32A. W. Roscoe 0001, Pedro Antonino, Jonathan Lawrence The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Yifeng Chen, Jeff W. Sanders Consciousness by Degree. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Xu Jiang 0004, Jinghao Sun, Wang Yi 0001 Characterizations of Parallel Real-Time Workloads. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
32Stephen D. Brookes, A. W. Roscoe 0001 CSP: A Practical Process Algebra. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Ian J. Hayes, Steve King 0001 Software Specification. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32C. A. R. Hoare Communicating Sequential Processes. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Cliff B. Jones, Jayadev Misra Finding Effective Abstractions. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32 Authors' Biographies/Index. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32 Doctoral Students. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Tony Hoare Envoi. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Cliff B. Jones List of Tony Hoare's Publications. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar The Verified Software Initiative: A Manifesto. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Tony Hoare The 1980 ACM Turing Award Lecture. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Krzysztof R. Apt, Ernst-Rüdiger Olderog Assessing the Success and Impact of Hoare's Logic. Search on Bibsonomy Theories of Programming The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 14507 (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