Dr. Claus-Peter Wirth

Citado por

	Total	Desde 2019
Citas	810	99
Índice h	15	6
Índice i10	23	2

120

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 11 1 15 26 13 21 24 8 7 35 32 49 29 20 17 107 20 35 50 39 21 14 11 16 14 15 17 28 11 18 9

Acceso público

Ver todo

2 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergDirección de correo verificada de fu-berlin.de
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyDirección de correo verificada de dfki.de
Carsten Ullrichmacros consultDirección de correo verificada de carstenullrich.net
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamDirección de correo verificada de cs.bham.ac.uk
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgDirección de correo verificada de ext.uni.lu
Frieder StolzenburgProfessor of Knowledge Based Systems in Computer Science, Harz University of Aplied SciencesDirección de correo verificada de hs-harz.de
jstrother mooreComputer Science Dept, University of Texas at AustinDirección de correo verificada de cs.utexas.edu
Ulrich FurbachProf of Computer Science, Univ. KoblenzDirección de correo verificada de furbach.de
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKDirección de correo verificada de hw.ac.uk
Steve AwodeyCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Volker PeckhausPaderborn UniversityDirección de correo verificada de upb.de
Richard ZachProfessor of Philosophy, University of CalgaryDirección de correo verificada de ucalgary.ca
Lawrence PaulsonUniversity of CambridgeDirección de correo verificada de cam.ac.uk
Marvin SchillerRobert Bosch GmbHDirección de correo verificada de alumni.uni-ulm.de

Seguir

Dr. Claus-Peter Wirth

Research Fellow, FB AI, Hochschule Harz

Dirección de correo verificada de logic.at - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	115	2002
Descente infinie+ deduction CP Wirth Logic Journal of IGPL 12 (1), 1-96, 2004	84	2004
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	39	2003
A constructor-based approach to positive/negative-conditional equational specifications CP Wirth, B Gramlich Journal of Symbolic Computation 17 (1), 51-90, 1994	39	1994
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	35	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
On notions of inductive validity for first-order equational clauses CP Wirth, B Gramlich International Conference on Automated Deduction, 162-176, 1994	27	1994
Hilbert's epsilon as an operator of indefinite committed choice CP Wirth Journal of Applied Logic 6 (3), 287-317, 2008	24*	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	23	2005
Grundlagen der Mathematik= Foundations of mathematics D Hilbert, P Bernays, CP Wirth, J Siekmann, M Gabbay, D Gabbay (No Title), 1934	22	1934
On Notions of Inductive Validity for First-Order Equational Clauses. 12th CADE 1994, LNAI 814 CP Wirth, B Gramlich Springer, 1994	20	1994
Abstract notions and inference systems for proofs by mathematical induction CP Wirth, K Becker International Workshop on Conditional Term Rewriting Systems, 353-373, 1994	18	1994
Syntactic confluence criteria for positive/negative-conditional term rewriting systems CP Wirth arXiv preprint arXiv:0902.3614, 2009	17	2009
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	14	2009
Assuring automotive data and software integrity employing distributed hash tables and blockchain G Falco, JE Siegel arXiv preprint arXiv:2002.02780, 2020	13	2020
Shallow confluence of conditional term rewriting systems CP Wirth Journal of Symbolic Computation 44 (1), 60-98, 2009	13	2009
A series of revisions of David Poole’s specificity CP Wirth, F Stolzenburg Annals of Mathematics and Artificial Intelligence 78, 205-258, 2016	10	2016
lim+, δ+, and Non-Permutability of β-Steps CP Wirth Journal of Symbolic Computation 47 (9), 1109-1135, 2012	10	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores