Francis Klay

From MaRDI portal
Person:553315

Available identifiers

zbMath Open klay.francisMaRDI QIDQ553315

List of research outcomes





PublicationDate of PublicationType
Undecidable properties of syntactic theories2022-12-09Paper
Combination techniques for non-disjoint equational theories2020-01-21Paper
Rigid tree automata and applications2011-07-27Paper
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder2009-04-07Paper
Rigid Tree Automata2009-04-02Paper
https://portal.mardi4nfdi.de/entity/Q48170502004-09-14Paper
A compared study of two correctness proofs for the standardized algorithm of ABR conformance2003-07-01Paper
Mechanical verification of an ideal incremental ABR conformance algorithm2003-06-09Paper
https://portal.mardi4nfdi.de/entity/Q27540952001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27234252001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q44938871999-01-01Paper

Research outcomes over time

This page was built for person: Francis Klay

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