Eike Ritter

Available identifiers

zbMath Open ritter.eikeMaRDI QIDQ194959

List of research outcomes

Publication	Date of Publication	Type
Proof-terms for classical and intuitionistic resolution	2019-01-15	Paper
On the intuitionistic force of classical search (Extended abstract)	2019-01-10	Paper
On explicit substitutions and names (extended abstract)	2018-07-04	Paper
Fibrational modal type theory	2018-04-23	Paper
Stateful applied pi calculus: observational equivalence and labelled bisimilarity	2017-05-29	Paper
A proof-theoretic analysis of the classical propositional matrix method	2014-04-01	Paper
Model Checking Agent Knowledge in Dynamic Access Control Policies	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4918421	2013-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q3413927	2006-12-19	Paper
Financial Cryptography and Data Security	2005-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q3024852	2005-07-04	Paper
Relating categorical semantics for intuitionistic linear logic	2005-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4809790	2004-08-31	Paper
Linear explicit substitutions	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4785506	2003-01-01	Paper
On the semantics of classical disjunction	2002-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4508305	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4525291	2001-01-22	Paper
Proof-terms for classical and intuitionistic resolution	2000-09-04	Paper
On the intuitionistic force of classical search	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4263879	2000-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4260707	1999-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4219051	1998-11-15	Paper
Categorical abstract machines for higher-order typed \(\lambda\)-calculi	1997-02-27	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: Eike Ritter