Dr. Claus-Peter Wirth

Geciteerd door

	Alles	Sinds 2018
Citaties	812	114
h-index	16	6
i10-index	22	2

120

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220234 11 3 15 26 13 21 24 8 7 37 31 49 30 20 14 102 21 35 50 39 22 15 10 17 15 17 17 31 19 15

Openbare toegang

Alles bekijken

2 artikelen

1 artikel

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergGeverifieerd e-mailadres voor fu-berlin.de
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyGeverifieerd e-mailadres voor dfki.de
Carsten Ullrichmacros consultGeverifieerd e-mailadres voor carstenullrich.net
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Frieder StolzenburgProfessor of Knowledge Based Systems in Computer Science, Harz University of Aplied SciencesGeverifieerd e-mailadres voor hs-harz.de
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgGeverifieerd e-mailadres voor ext.uni.lu
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKGeverifieerd e-mailadres voor hw.ac.uk
jstrother mooreComputer Science Dept, University of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
Ulrich FurbachProf of Computer Science, Univ. KoblenzGeverifieerd e-mailadres voor furbach.de
Steve AwodeyCarnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Volker PeckhausPaderborn UniversityGeverifieerd e-mailadres voor upb.de
Richard ZachProfessor of Philosophy, University of CalgaryGeverifieerd e-mailadres voor ucalgary.ca
Lawrence PaulsonUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
Marvin SchillerRobert Bosch GmbHGeverifieerd e-mailadres voor alumni.uni-ulm.de

Volgen

Dr. Claus-Peter Wirth

Research Fellow, FB AI, Hochschule Harz

Geverifieerd e-mailadres voor logic.at - Homepage

Logic Theoretical Computer Science Formal Methods Artificial Intelligence History of Philosophy and Logic


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Proof Development with Ωmega J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ... Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002	114	2002
Descente infinie+ deduction CP Wirth Logic Journal of IGPL 12 (1), 1-96, 2004	82	2004
A constructor-based approach to positive/negative-conditional equational specifications CP Wirth, B Gramlich Journal of Symbolic Computation 17 (1), 51-90, 1994	40	1994
How to Prove Inductive Theorems? QuodLibet! J Avenhaus, U Kühler, T Schmidt-Samoa, CP Wirth Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003	37	2003
A generic modular data structure for proof attempts alternating on ideas and granularity S Autexier, C Benzmüller, D Dietrich, A Meier, CP Wirth Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006	34	2006
Positive/Negative-Conditional Equations: A Constructor-Based Framework for Specification and Inductive Theorem Proving. Schriftenreihe Forschungsergebnisse zur Informatik, ISBN … CP Wirth Verlag Dr. Kovac, Hamburg 31, 250, 1997	31*	1997
Conditional equational specifications of data types with partial operations for inductive theorem proving U Kühler, CP Wirth International Conference on Rewriting Techniques and Applications, 38-52, 1997	28	1997
Conditional equational specifications of data types with partial operations for inductive theorem proving U Kühler, CP Wirth International Conference on Rewriting Techniques and Applications, 38-52, 1997	28	1997
On notions of inductive validity for first-order equational clauses CP Wirth, B Gramlich International Conference on Automated Deduction, 162-176, 1994	26	1994
What is an EUTxO blockchain? MJ Gabbay CoRR, 2020	24*	2020
Hilbert's epsilon as an operator of indefinite committed choice CP Wirth Journal of Applied Logic 6 (3), 287-317, 2008	22*	2008
Hilbert's epsilon as an operator of indefinite committed choice CP Wirth Journal of Applied Logic 6 (3), 287-317, 2008	21	2008
History and future of implicit and inductionless induction: beware the old jade and the zombie! CP Wirth Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on …, 2005	21	2005
On Notions of Inductive Validity for First-Order Equational Clauses. 12th CADE 1994, LNAI 814 CP Wirth, B Gramlich Springer, 1994	20	1994
Grundlagen der Mathematik= Foundations of mathematics D Hilbert, P Bernays, CP Wirth, J Siekmann, M Gabbay, D Gabbay (No Title), 1934	20	1934
Syntactic confluence criteria for positive/negative-conditional term rewriting systems CP Wirth arXiv preprint arXiv:0902.3614, 2009	17	2009
Abstract notions and inference systems for proofs by mathematical induction CP Wirth, K Becker International Workshop on Conditional Term Rewriting Systems, 353-373, 1994	17	1994
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized δ-Rule but Without Skolemization CP Wirth International Workshop on First-Order Theorem Proving, 282-297, 1998	16	1998
Jacques Herbrand: Life, Logic, and Automated Deduction. CP Wirth, JH Siekmann, C Benzmüller, S Autexier Logic from Russell to Church 5, 195-254, 2009	15	2009
Shallow confluence of conditional term rewriting systems CP Wirth Journal of Symbolic Computation 44 (1), 60-98, 2009	13	2009

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs