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
-
都b[Doub(Dou2、Dou3)] as A Counter-Expectation Discourse-Marker: On the Pragmatic Functions of Doub from the Perspective of Discourse Analysis
Springer Verlag | 2015|Keywords: Mathematical Logic and Formal Languages -
“净” (jìng) and “都” (doū), which one has exclusiveness?
Springer Verlag | 2016|Keywords: Mathematical Logic and Formal Languages -
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy
Springer Verlag | 2014|Keywords: Mathematical Logic and Formal Languages -
ω -P Automata with Communication Rules
Springer Verlag | 2004|Keywords: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages -
Ω-OL systems
National licenceSpringer Verlag | 1974|Keywords: Mathematical Logic and Formal Languages -
Ω-MKRP: A proof development environment
National licenceSpringer Verlag | 1994|Keywords: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations -
Ωmega: Towards a mathematical assistant
Springer Verlag | 1997|Keywords: Mathematical Logic and Formal Languages -
ω-LLC: Weighted Low-Energy Localized Clustering for Embedded Networked Sensors
Springer Verlag | 2005|Keywords: Mathematical Logic and Formal Languages -
ω-Independent Bases for Quasivarieites of Torsion-Free Groups
Springer Verlag | 2019|Keywords: Mathematical Logic and Foundations -
ω-Convergence theory of filters in Lω -spaces
Springer Verlag | 2008|Keywords: Mathematical Logic and Foundations -
ω-Continuous semirings, algebraic systems and pushdown automata
National licenceSpringer Verlag | 1990|Keywords: Mathematical Logic and Formal Languages -
ω-CHANGE RANDOMNESS AND WEAK DEMUTH RANDOMNESS
Online Contents | 2014|Keywords: Mathematische Logik -
Ω-branching programs of bounded width
National licenceSpringer Verlag | 1990|Keywords: Mathematical Logic and Formal Languages -
ΧChek: A Multi-valued Model-Checker
Free accessSpringer Verlag | 2002|Keywords: Mathematical Logic and Formal Languages -
τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming
Springer Verlag | 2012|Keywords: Mathematical Logic and Formal Languages -
Σ-Uniform structures and Σ-functions. II
Springer Verlag | 2012|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.