Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Mathematical logic.
Search without synonyms: keywords:("Mathematical logic.")
Used synonyms:
- mathematische logik
-
Π 2 1 monotone inductive definitions
National licenceSpringer Verlag | 1981|Keywords: Mathematical Logic and Foundations -
Π 2 1 -Logic and uniformization in the analytical hierarchy
National licenceSpringer Verlag | 1989|Keywords: Mathematical Logic, Mathematical Logic and Foundations -
νZ - An Optimizing SMT Solver
Free accessSpringer Verlag | 2015|Keywords: Mathematical Logic and Formal Languages -
μZ– An Efficient Engine for Fixed Points with Constraints
Free accessSpringer Verlag | 2011|Keywords: Mathematical Logic and Formal Languages -
ΜSPEED: a system for the specification and verification of microprocessors
National licenceSpringer Verlag | 1992|Keywords: Mathematical Logic and Formal Languages -
JADE: adaptive differential evolution with a small population
Springer Verlag | 2015|Keywords: Mathematical Logic and Foundations -
µCRL: A Toolset for Analysing Algebraic Specifications
Free accessSpringer Verlag | 2001|Keywords: Mathematical Logic and Formal Languages -
μ-complete Souslin trees on μ+
National licenceSpringer Verlag | 1993|Keywords: Mathematical Logic, Mathematical Logic and Foundations -
μ-complete Souslin trees on $ μ^{+} $
Online Contents | 1993|Keywords: Mathematische Logik, Mathematical Logic -
μcke — Efficient μ-calculus model checking
Free accessSpringer Verlag | 1997|Keywords: Mathematical Logic and Formal Languages -
μ-Calculus via Games (Extended Abstract)
Springer Verlag | 2002|Keywords: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations -
λμ-Calculus and Duality: Call-by-Name and Call-by-Value
Springer Verlag | 2005|Keywords: Mathematical Logic and Formal Languages -
λμ-Calculus: An algorithmic interpretation of classical natural deduction
National licenceSpringer Verlag | 1992|Keywords: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations -
λΔ-Models
Springer Verlag | 2004|Keywords: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages -
λZ: Zermelo’s Set Theory as a PTS with 4 Sorts
Springer Verlag | 2006|Keywords: Mathematical Logic and Formal Languages -
λ-Terms as total or partial functions on normal forms
National licenceSpringer Verlag | 1975|Keywords: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations -
-Statistical convergence of fuzzy numbers and fuzzy functions of order
Springer Verlag | 2013|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.