Thomas Zimmermann

MaRDI QIDQ689080zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Looking backwards in type logic	2025-08-26	Paper
Extensions in Compositional Semantics	2022-08-11	Paper
Planning safe navigation routes through mined waters European Journal of Operational Research	2016-06-23	Paper
scientific article; zbMATH DE number 2236684 (Why is no real title available?)	2005-12-08	Paper
scientific article; zbMATH DE number 1537948 (Why is no real title available?)	2001-03-13	Paper
Scepticism de se Erkenntnis	2001-01-14	Paper
Aspects of an object-oriented finite element environment Computers & Structures	1999-10-27	Paper
Aspects of an object-oriented finite element environment Computers & Structures	1999-10-27	Paper
Programmation orientée objet appliquée à la méthode des éléments finis: dérivations symboliques, programmation automatique Revue Européenne des Éléments Finis	1999-02-11	Paper
Programmation orientée objet appliquée à la méthode des éléments finis: dérivations symboliques, programmation automatique Revue Européenne des Éléments Finis	1999-02-11	Paper
Fonctionnalité d’un environnement orienté objet pour le développement de code éléments finis Revue Européenne des Éléments Finis	1999-01-11	Paper
Object-oriented finite elements. I: Principles of symbolic derivations and automatic programming. II: A symbolic environment for automatic programming Computer Methods in Applied Mechanics and Engineering	1998-07-01	Paper
scientific article; zbMATH DE number 1062536 (Why is no real title available?)	1997-09-17	Paper
scientific article; zbMATH DE number 1004884 (Why is no real title available?)	1997-04-27	Paper
Scopeless quantifiers and operators Journal of Philosophical Logic	1993-12-06	Paper
scientific article; zbMATH DE number 45491 (Why is no real title available?)	1992-09-17	Paper
Intensional logic and two-sorted type theory Journal of Symbolic Logic	1989-01-01	Paper
Remarks on Groenendijk and Stokhof's theory of indirect questions Linguistics and Philosophy	1985-01-01	Paper

Research outcomes over time

This page was built for person: Thomas Zimmermann