The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1959-1987 (17) 1988-1990 (17) 1991-1992 (23) 1993 (22) 1994 (19) 1995 (18) 1996 (15) 1997 (22) 1998 (20) 1999 (31) 2000 (21) 2001 (27) 2002 (27) 2003 (38) 2004 (79) 2005 (46) 2006 (65) 2007 (63) 2008 (95) 2009 (49) 2010 (16) 2011 (46) 2012 (40) 2013 (30) 2014 (24) 2015 (29) 2016 (32) 2017 (29) 2018 (42) 2019 (35)
Publication types (Num. hits)
article(375) book(9) incollection(93) inproceedings(556) phdthesis(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 559 occurrences of 432 keywords

Results
Found 1037 publication records. Showing 1037 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
91Rob T. Udink, Joost N. Kok On the Relation Between Unity Properties and Sequences of States. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Semantic models - Unity, program refinement
82Edgar 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
81Yih-Kuen Tsay, Rajive L. Bagrodia Deducing Fairness Properties in UNITY Logic - A New Completeness Result. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fairness properties, temporal logic, completeness, UNITY
75Naima Brown, Dominique Méry A Proof Environment for Concurrent Programs. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
72Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni Complexity results in revising UNITY programs. Search on Bibsonomy TAAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, UNITY
72Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun Mobile UNITY: Reasoning and Specification in Mobile Computing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
68Carlos Ulises Moulines The Unity of Science and The Unity of Being: a Sketch of a Formal Approach. Search on Bibsonomy Logic, Epistemology, and the Unity of Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Anas A. Hamoui, Mohammad Sukhon, Franco Maloberti Digitally-enhanced 2nd-order DeltaSigma modulator with unity-gain signal transfer function. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden Mobile agent security with the IPEditor development tool and the mobile UNITY language. Search on Bibsonomy Agents The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour Revising UNITY Programs: Possibilities and Limitations. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Formal Methods, Program Synthesis, UNITY
62Daniel M. Zimmerman A UNITY-Based Formalism for Dynamic Distributed Systems. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic distributed systems, program composition, formal methods, UNITY
62Peter J. McCann, Gruia-Catalin Roman Modeling Mobile IP in Mobile UNITY. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables
62H. Conrad Cunningham, Gruia-Catalin Roman A UNITY-Style Programming Logic for Shared Dataspace Programs. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness
53Sumit Kumar Basu t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems. Search on Bibsonomy IWDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Gruia-Catalin Roman, Jamie Payton Mobile UNITY Schemas for Agent Coordination. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson The HOL-UNITY Verification System. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
53Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson Program Verification using HOL-UNITY. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
53Luís Moniz Pereira Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Paco Calvo Garzón Plant Neurobiology: Lessons for the Unity of Science. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Luc Faucher Unity of Science and Pluralism: Cognitive Neurosciences of Racial Prejudice as a Case Study. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53J. R. Croca The Principle of Eurhythmy: A Key to the Unity of Physics. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Sheldon Steed, Gabriele Contessa, Nancy Cartwright Keeping Track of Neurath's Bill: Abstract Concepts, Stock Models and the Unity of Classical Physics. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Jan Wolenski Naturalism and the Unity of Science. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Otto Neurath, Thomas Bonk Unity of Science and Logical Empiricism: A Reply. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Hossein Sheykh Rezaee The Flat Analysis of Properties and the Unity of Science. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Andrés Rivadulla Scientific Reasonableness and the Pragmatic Approach to the Unity of Science. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Olga Pombo Neurath and the Encyclopaedic Project of Unity of Science. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Daniel Andler Unity Without Myths. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Juan Manuel Torres The Role of Biology in the Unity of Science Program. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Shahid Rahman, John Symons Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot. Search on Bibsonomy Logic, Epistemology, and the Unity of Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Herbert Gintis Towards a Unity of the Human Behavioral Sciences. Search on Bibsonomy Logic, Epistemology, and the Unity of Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53John Woods, Kent A. Peacock Quantum Logic and the Unity of Science. Search on Bibsonomy Logic, Epistemology, and the Unity of Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Gerhard Schurz Normic Laws, Non-Monotonic Reasoning, and the Unity of Science. Search on Bibsonomy Logic, Epistemology, and the Unity of Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Yutaka Ohtake, Alexander G. Belyaev, Marc Alexa, Greg Turk, Hans-Peter Seidel Multi-level partition of unity implicits. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF adaptive distance, error-controlled subdivision, field approximation, partition of unity approximation, implicit modeling
53Ernest H. Page, Marc Abrams Simulation Model Development and Analysis in UNITY. Search on Bibsonomy Annals OR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF simulation specification, simulation verification, parallel simulation protocols, UNITY
53Lawrence C. Paulson Mechanizing UNITY in Isabelle. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrency, UNITY, Isabelle, compositional reasoning
52Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann Expressing Code Mobility in Mobile UNITY. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mobile UNITY, mobile code languages, mobile computing, coordination, UNITY, code mobility
47Boutheina Chetali Formal Verification of Concurrent Programs Using the Larch Prover. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
47Boutheina Chetali, Barbara Heyd Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq
47David M. Goldschlag Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
44Nadav Aharony, Jamie Zigelbaum Comm.unity: leveraging social and physical proximity. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2009 DBLP  DOI  BibTeX  RDF privacy, ubiquitous computing, mobile, trust, pervasive computing, social, network interface
44Pierre Collette Application of the Composition Principle to Unity-like Specifications. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Rob T. Udink, Joost N. Kok Two Fully Abstract Models for UNITY. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43Joao Paulo Gois, Valdecir Polizelli-Junior, Tiago Etiene, Eduardo Tejada, Antônio Castelo Filho, Luis Gustavo Nonato, Thomas Ertl Twofold adaptive partition of unity implicits. Search on Bibsonomy The Visual Computer The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Algebraic triangulation, Partition of unity implicits, Orthogonal polynomials
43Takato Hirano, Koichiro Wada, Keisuke Tanaka Public-Key Cryptosystems with Primitive Power Roots of Unity. Search on Bibsonomy ACISP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism
43Borzoo Bonakdarpour, Sandeep S. Kulkarni Revising Distributed UNITY Programs Is NP-Complete. Search on Bibsonomy OPODIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
43Sergey P. Tarasov, Mikhail N. Vyalyi An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithm, sparse representation, root of unity, cyclotomic polynomial
43Weimin Han, Wing Kam Liu Flexible piecewise approximations based on partition of unity. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF smooth piecewise approximation, partition of unity, polynomial reproducing, nodal interpolation, Galerkin method
43Sidi O. Ehmety, Lawrence C. Paulson Program Composition in Isabelle/UNITY. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program composition, universal and existential properties, UNITY, Isabelle
43Lawrence C. Paulson Mechanizing a theory of program composition for UNITY. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF concurrency, UNITY, Isabelle, compositional reasoning
38Gerald Tesauro, David M. Chess, William E. Walsh, Rajarshi Das, Alla Segal, Ian Whalley, Jeffrey O. Kephart, Steve R. White A Multi-Agent Systems Approach to Autonomic Computing. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Beverly A. Sanders Data Refinement of Mixed Specifications. Search on Bibsonomy Acta Inf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Philippe Huneman Computer Science Meets Evolutionary Biology: Pure Possible Processes and the Issue of Gradualism. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38A. Yazdani Appearance or Existence of the Entity Realism 'Sense' or Mind. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Nathalie Gontier Introducing Universal Symbiogenesis. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Catherine Laurent Plurality of Science and Rational Integration of Knowledge. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Christian Möckel The Cultural Sciences and Their Basis in Life. On Ernst Cassirer's Theory of the Cultural Sciences. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38María de la Concepción Caamaño Alegre Pragmatic Continuities in Empirical Science: Some Examples from the History of Astronomy. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Vítor Neves Sciences as Open Systems - The Case of Economics. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38A. Perera, F. Sokolic Looking at Water Through Paradigms. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Olga Pombo, Juan Manuel Torres, John Symons Introduction. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38César Lorenzano A Physicalist Reconstruction of a Theory: The Case of the Freudian Theory of Hysteria. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Francisco Carrapiço The Symbiotic Phenomenon in the Evolutive Context. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Edwin J. Beggs, José Félix Costa Unifying Science Through Computation: Reflections on Computability and Physics. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Brian Hill Fiction, Counterfactuals: The Challenge for Logic. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
38Karlheinz Barck The Neurath-Horkeimer-Controversy Reconsidered: Otto Neurath's Erwiderung to Max Horkheimer's Attack Against the Vienna Circle. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Thomas Bonk Conceptions of Reality - Schlick, Carnap, Neurath. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Jan Sebestik Otto Neurath's Epistemology and Its Paradoxes. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Robert L. Causey A Comprehensible World. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Ahti-Veikko Pietarinen Principles and Practices of Neurath's Picture Language. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Carlos Ulises Moulines Does Scientific Progress Necessarily Lead to a Unified Science? Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Mario Bunge Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Gideon Freudenthal, Tatiana Karachentsev G. Itelson - A Socratic Philosopher. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Cornelia Schöck Name (ism), Derived Name (ism mushtaqq) and Description (waṣf) in Arabic Grammar, Muslim Dialectical Theology and Arabic Logic. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Hassan Tahiri The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Allan Bäck Islamic Logic? Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Hans P. van Ditmarsch Logical Fragments in Ibn Khaldūn's Muqaddimah. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Albrecht Heeffer A Conceptual Analysis of Early Arabic Algebra. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Asad Ahmed Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Jon McGinnis Avicenna's Naturalized Epistemology and Scientific Method. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Shahid Rahman, Tony Street, Hassan Tahiri Introduction: The Major Breakthrough in Scientific Pratice. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Paul Thom Logic and Metaphysics in Avicenna's Modal Syllogistic. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Roshdi Rashed The Philosophy of Mathematics. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Ahmad Hasnawi Avicenna on the Quantification of the Predicate (with an Appendix on [Ibn Zur'a]). Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Deborah L. Black Avicenna on Self-Awareness and Knowing that One Knows. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Mohammad Ardeshir Ibn Sī: nā's Philosophy of Mathematics. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Stephen Read The Truth Schema and the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Jan Wolenski Read about T-Scheme. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Terence Parsons Comments on Stephen Read's "The Truth-Schema and the Liar". Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Claude Panaccio Restrictionism: A Medieval Approach Revisited. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Stephen Read Further Thoughts on Tarski's T-scheme and the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Bradley Armour-Garb Read and Indirect Revenge. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Barry Hartley Slater Out of the Liar Tangle. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Fabienne Pironet William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38José M. Sagüillo On a New Account of the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Laurence Goldstein Doubting Thomas: From Bradwardine Back to Anon. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38György Serény The Liar Cannot Be Solved. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Gyula Klima Logic Without Truth. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Eugene Mills Scheming and Lying. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1037 (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