J. Springintveld

From MaRDI portal
Person:1349248

Available identifiers

zbMath Open springintveld.janMaRDI QIDQ1349248

List of research outcomes





PublicationDate of PublicationType
Third-order matching in the polymorphic lambda calculus2019-01-11Paper
Focus points and convergent process operators2007-08-22Paper
A computer checked algebraic verification of a distributed summation algorithm2005-12-13Paper
https://portal.mardi4nfdi.de/entity/Q30248542005-07-04Paper
Focus points and convergent process operators: A proof strategy for protocol verification2002-05-21Paper
Testing timed automata2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q44907262000-07-20Paper
A simple proof of the undecidability of inhabitation in λP1997-03-18Paper
https://portal.mardi4nfdi.de/entity/Q42814871994-04-07Paper

Research outcomes over time

This page was built for person: J. Springintveld

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