Claude Kirchner

From MaRDI portal
Person:857912

Available identifiers

zbMath Open kirchner.claudeWikidataQ33103167 ScholiaQ33103167MaRDI QIDQ857912

List of research outcomes

PublicationDate of PublicationType
Dynamically-typed computations for order-sorted equational presentations2019-04-29Paper
https://portal.mardi4nfdi.de/entity/Q46198202019-02-07Paper
Toward the concurrent implementation of computational systems2017-01-19Paper
Pure patterns type systems2015-09-11Paper
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS2015-04-30Paper
Towards a Sharing Strategy for the Graph Rewriting Calculus2014-01-24Paper
https://portal.mardi4nfdi.de/entity/Q28510462013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28481172013-09-25Paper
https://portal.mardi4nfdi.de/entity/Q28495802013-09-20Paper
https://portal.mardi4nfdi.de/entity/Q28498552013-09-20Paper
https://portal.mardi4nfdi.de/entity/Q28440652013-08-27Paper
Narrowing Based Inductive Proof Search2013-04-19Paper
Formal Validation of Pattern Matching code2012-09-28Paper
https://portal.mardi4nfdi.de/entity/Q30867852011-03-30Paper
On the confluence of lambda-calculus with conditional rewriting2010-08-24Paper
Anti-patterns for rule-based languages2010-05-05Paper
Constraint Based Strategies2010-04-27Paper
Automated Deduction – CADE-192010-04-20Paper
Regaining cut admissibility in deduction modulo using abstract completion2010-02-26Paper
Inductive proof search modulo2009-11-16Paper
Formal Islands2009-04-28Paper
Superdeduction at Work2009-03-06Paper
Anti-pattern Matching Modulo2008-11-20Paper
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets2008-06-19Paper
Cut Elimination in Deduction Modulo by Abstract Completion2008-01-04Paper
A rewriting calculus for cyclic higher-order term graphs2007-09-26Paper
Completion Is an Instance of Abstract Canonical System Inference2007-09-07Paper
The Rewriting Calculus as a Combinatory Reduction System2007-09-07Paper
Anti-pattern Matching2007-09-04Paper
A \(\rho\)-calculus of explicit constraint application2007-05-21Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
Expressing combinatory reduction systems derivations in the rewriting calculus2007-01-05Paper
Abstract canonical presentations2006-08-16Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making2005-08-17Paper
https://portal.mardi4nfdi.de/entity/Q48086992004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48087382004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48087512004-08-12Paper
Theorem proving modulo2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44282962003-09-15Paper
External rewriting for skeptical proof assistants2003-04-27Paper
Higher order unification via explicit substitutions2003-01-14Paper
ELAN from a rewriting logic point of view2002-08-13Paper
The rewriting calculus - part I2002-06-06Paper
The rewriting calculus - part II2002-06-06Paper
https://portal.mardi4nfdi.de/entity/Q27824832002-04-03Paper
https://portal.mardi4nfdi.de/entity/Q27788722002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q27694302002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27626292002-01-09Paper
HOL-λσ: an intentional first-order expression of higher-order logic2001-11-13Paper
Generating Feasible Schedules for a Pick-up and Delivery Problem2001-09-23Paper
https://portal.mardi4nfdi.de/entity/Q27036892001-05-07Paper
Dynamically typed computations for order-sorted equational presentations2000-06-27Paper
https://portal.mardi4nfdi.de/entity/Q49386122000-04-25Paper
A methodological view of constraint solving2000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q42641991999-09-16Paper
https://portal.mardi4nfdi.de/entity/Q42230011999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42228511998-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42228581998-12-20Paper
https://portal.mardi4nfdi.de/entity/Q43643701997-11-17Paper
AC-unification race: The system solving approach, implementation and benchmarks1993-01-16Paper
Programming with equalities, subsorts, overloading, and parametrization in OBJ1992-08-13Paper
Completion for unification1992-06-26Paper
Equational completion in order-sorted algebras1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34909271989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37922341988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37952071988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38175731988-01-01Paper
REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37804261987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36964861985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33382251984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36644571983-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Claude Kirchner