Jan Springintveld

Available identifiers

zbMath Open springintveld.janMaRDI QIDQ1349248

List of research outcomes

Publication	Date of Publication	Type
Third-order matching in the polymorphic lambda calculus	2019-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5754517	2007-08-22	Paper
A computer checked algebraic verification of a distributed summation algorithm	2005-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q3024854	2005-07-04	Paper
Focus points and convergent process operators: A proof strategy for protocol verification	2002-05-21	Paper
Testing timed automata	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4490726	2000-07-20	Paper
A simple proof of the undecidability of inhabitation in λP	1997-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4281487	1994-04-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Springintveld