Jan Springintveld

From MaRDI portal
Revision as of 00:50, 9 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Jan Springintveld to Jan Springintveld: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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
https://portal.mardi4nfdi.de/entity/Q57545172007-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: Jan Springintveld

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