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
Categorical Proof-Theoretic Semantics	N/A	Paper

Research outcomes over time

This page was built for person: Eike Ritter