Year of publication
Subject
Type of material
Licence
Language
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Foundations
Search without synonyms: keywords:(Foundations)
Used synonyms:
- bodenplatte
- fundament
- fundamentplatte
- grundplatte
- grundungsplatte
-
ω -P Automata with Communication Rules
Springer Verlag | 2004|Keywords: Mathematical Logic and Foundations -
Ω-MKRP: A proof development environment
National licenceSpringer Verlag | 1994|Keywords: Mathematical Logic and Foundations -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in Agda
Springer Verlag | 2021|Keywords: Mathematical Logic and Foundations -
λμ-Calculus: An algorithmic interpretation of classical natural deduction
National licenceSpringer Verlag | 1992|Keywords: Mathematical Logic and Foundations -
λ-Terms as total or partial functions on normal forms
National licenceSpringer Verlag | 1975|Keywords: Mathematical Logic and Foundations -
λ-Calculi with conditional rules
National licenceSpringer Verlag | 1993|Keywords: Mathematical Logic and Foundations -
βη-Equality for coproducts
National licenceSpringer Verlag | 1995|Keywords: Mathematical Logic and Foundations -
Zurücklegen oder nicht, das ist hier die Frage
Springer Verlag | 2021|Keywords: Mathematical Logic and Foundations -
Zum Schluss eine dicke Überraschung
Springer Verlag | 2022|Keywords: Mathematical Logic and Foundations -
Zum Abschluss wird es kunterbunt
Springer Verlag | 2022|Keywords: Mathematical Logic and Foundations -
ZRes: The Old Davis–Putnam Procedure Meets ZBDD
Springer Verlag | 2000|Keywords: Mathematical Logic and Foundations -
Zermelo-Fraenkel set theory
National licenceSpringer Verlag | 1994Keywords: Mathematical Logic and Foundations -
Zchaff2004: An Efficient SAT Solver
Springer Verlag | 2005|Keywords: Mathematical Logic and Foundations -
Young Adult Unemployment Through the Lens of Social Media: Italy as a Case Study
Springer Verlag | 2020|Keywords: Moral foundations -
Yet another correctness criterion for Multiplicative Linear Logic with MIX
National licenceSpringer Verlag | 1994|Keywords: Mathematical Logic and Foundations -
Yet another application for Toupie: Verification of mutual exclusion algorithms
National licenceSpringer Verlag | 1993|Keywords: Mathematical Logic and Foundations -
Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice
Springer Verlag | 2009|Keywords: Mathematical Logic and Foundations -
Years of Harvest
Springer Verlag | 2022|Keywords: History and Philosophical Foundations of Physics -
YAPA: A Generic Tool for Computing Intruder Knowledge
Springer Verlag | 2009|Keywords: Mathematical Logic and Foundations -
XRay: A prolog technology theorem prover for default reasoning: A system description
National licenceSpringer Verlag | 1996|Keywords: Mathematical Logic and Foundations
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.