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
-
Formal Distributed Protocol Development for Reservation of Railway Sections
TIBKAT | 2020|Keywords: Mathematische Logik -
Abhandlung über die Prinzipien der Logik : eine Verteidigung des logischen Monismus
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2023|Keywords: Mathematische Logik -
EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
Online Contents | 2016|Keywords: Mathematische Logik -
REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM
Online Contents | 2016|Keywords: Mathematische Logik -
Unifying the model theory of first-order and second-order arithmetic via WKL0⁎
Online Contents | 2017|Keywords: Mathematische Logik -
Downward categoricity from a successor inside a good frame
Online Contents | 2016|Keywords: Mathematische Logik -
Multi-posets in algebraic logic, group theory, and non-commutative topology
Online Contents | 2016|Keywords: Mathematische Logik -
Refinement and Verification of Responsive Control Systems
TIBKAT | 2020|Keywords: Mathematische Logik -
Formal Verification of Interoperability Between Future Network Architectures Using Alloy
TIBKAT | 2020|Keywords: Mathematische Logik -
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
TIBKAT | 2020|Keywords: Mathematische Logik -
Automatic Generation of DistAlgo Programs from Event-B Models
TIBKAT | 2020|Keywords: Mathematische Logik -
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
TIBKAT | 2020|Keywords: Mathematische Logik -
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
TIBKAT | 2020|Keywords: Mathematische Logik -
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
TIBKAT | 2020|Keywords: Mathematische Logik -
Rigorous state-based methods : 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings
TIBKAT | 2020|Keywords: Mathematische Logik -
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Online Contents | 2016|Keywords: Mathematische Logik -
The enumeration spectrum hierarchy ofn-families
Online Contents | 2016|Keywords: Mathematische Logik
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.