Francis Klay

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Undecidable properties of syntactic theories Rewriting Techniques and Applications	2022-12-09	Paper
Combination techniques for non-disjoint equational theories Automated Deduction — CADE-12	2020-01-21	Paper
Rigid tree automata and applications Information and Computation	2011-07-27	Paper
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder Formal Aspects in Security and Trust	2009-04-07	Paper
Rigid Tree Automata Language and Automata Theory and Applications	2009-04-02	Paper
scientific article; zbMATH DE number 2100578 (Why is no real title available?)	2004-09-14	Paper
A compared study of two correctness proofs for the standardized algorithm of ABR conformance Formal Methods in System Design	2003-07-01	Paper
Mechanical verification of an ideal incremental ABR conformance algorithm Journal of Automated Reasoning	2003-06-09	Paper
scientific article; zbMATH DE number 1670787 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1614701 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 1487482 (Why is no real title available?)	1999-01-01	Paper

Research outcomes over time

This page was built for person: Francis Klay