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-1986 (15) 1987-1990 (22) 1991-1992 (23) 1993 (22) 1994 (19) 1995 (18) 1996 (15) 1997 (22) 1998 (22) 1999 (31) 2000 (22) 2001 (27) 2002 (28) 2003 (39) 2004 (79) 2005 (46) 2006 (67) 2007 (64) 2008 (95) 2009 (49) 2010 (18) 2011 (46) 2012 (41) 2013 (30) 2014 (27) 2015 (30) 2016 (36) 2017 (35) 2018 (48) 2019 (48) 2020 (52) 2021 (75) 2022 (80) 2023 (104) 2024 (20)
Publication types (Num. hits)
article(543) book(10) data(1) incollection(94) inproceedings(761) phdthesis(5) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 559 occurrences of 432 keywords

Results
Found 1415 publication records. Showing 1415 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Rob 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
76Naima 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
71Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni Complexity results in revising UNITY programs. Search on Bibsonomy ACM Trans. Auton. Adapt. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, UNITY
71Gruia-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 Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness
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
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
52Yutaka 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
52Ernest H. Page, Marc Abrams Simulation Model Development and Analysis in UNITY. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF simulation specification, simulation verification, parallel simulation protocols, UNITY
52Lawrence 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
51Gian 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
43Nadav 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
43Pierre Collette Application of the Composition Principle to Unity-like Specifications. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43Rob 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 Vis. Comput. 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
39Philippe 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
39A. 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
39Nathalie Gontier Introducing Universal Symbiogenesis. Search on Bibsonomy Special Sciences and the Unity of Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
39Catherine 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
39Christian 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
39Marí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
39Ví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
39A. 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
39Olga 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
39Cé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
39Francisco 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
39Edwin 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
39Brian 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
39Karlheinz 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
39Thomas 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
39Jan 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
39Robert L. Causey A Comprehensible World. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
39Ahti-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
39Carlos 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
39Mario 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
39Gideon 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
39Cornelia 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
39Hassan 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
39Allan Bäck Islamic Logic? Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Hans 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
39Albrecht 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
39Asad 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
39Jon 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
39Shahid 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
39Paul 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
39Roshdi 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
39Ahmad 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
39Deborah 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
39Mohammad 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
39Stephen Read The Truth Schema and the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Jan Wolenski Read about T-Scheme. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Terence 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
39Claude Panaccio Restrictionism: A Medieval Approach Revisited. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Stephen 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
39Bradley Armour-Garb Read and Indirect Revenge. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Barry Hartley Slater Out of the Liar Tangle. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Fabienne 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
39José 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
39Laurence 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
39Gyö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
39Gyula Klima Logic Without Truth. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Eugene Mills Scheming and Lying. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Catarina Dutilh Novaes Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Greg Restall Models for Liars in Bradwardine's Theory of Truth. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1415 (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