Bernd Löchner

From MaRDI portal
Person:844196

Available identifiers

zbMath Open lochner.berndMaRDI QIDQ844196

List of research outcomes





PublicationDate of PublicationType
Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type2022-12-09Paper
Knuth-Bendix completion of theories of commuting group endomorphisms2010-01-18Paper
Automated Reasoning2007-09-25Paper
Things to know when implementing KBO2007-01-30Paper
https://portal.mardi4nfdi.de/entity/Q48090802004-08-12Paper
On using ground joinable equations in equational theorem proving2003-08-25Paper
https://portal.mardi4nfdi.de/entity/Q31503022002-09-30Paper
https://portal.mardi4nfdi.de/entity/Q45396482002-07-10Paper

Research outcomes over time



This page was built for person: Bernd Löchner

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:844196&oldid=11002315"
Powered by MediaWiki