- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
42 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 40 - 42
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
MPI Informatik, Bibliothek & Dokumentation
- (when)
-
1995
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:32 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bachmair, Leo
- Ganzinger, Harald
- MPI Informatik, Bibliothek & Dokumentation
Time of origin
- 1995
Other Objects (12)
Relative complexities of first order calculi
Relative complexities of first order calculi
First order programming theories
Binary systems in massive scalar-tensor theories: next-to-leading order gravitational waveform from effective field theory
Ordered and continuous models of higher-order specifications
Improving the power of ordered binary decision diagrams by integrating parity nodes
First-order calculi and proof procedures for automated deduction
New binary ordered monolayers of sulphur containing donor molecules and tetracyano naphto quinodimethane
Calculi.
Calculi.
(Decidable monadic second Order Theories of arithmetic)
Ordered Structures from Nanoparticles/Block Copolymer Hybrids: Ex-situ Approaches toward Binary and Ternary Nanocomposites
Relative complexities of first order calculi
Relative complexities of first order calculi
First order programming theories
Binary systems in massive scalar-tensor theories: next-to-leading order gravitational waveform from effective field theory
Ordered and continuous models of higher-order specifications
Improving the power of ordered binary decision diagrams by integrating parity nodes
First-order calculi and proof procedures for automated deduction
New binary ordered monolayers of sulphur containing donor molecules and tetracyano naphto quinodimethane
Calculi.
Calculi.
(Decidable monadic second Order Theories of arithmetic)
Ordered Structures from Nanoparticles/Block Copolymer Hybrids: Ex-situ Approaches toward Binary and Ternary Nanocomposites
Relative complexities of first order calculi
Relative complexities of first order calculi
First order programming theories
Binary systems in massive scalar-tensor theories: next-to-leading order gravitational waveform from effective field theory
Ordered and continuous models of higher-order specifications
Improving the power of ordered binary decision diagrams by integrating parity nodes
First-order calculi and proof procedures for automated deduction
New binary ordered monolayers of sulphur containing donor molecules and tetracyano naphto quinodimethane
Calculi.
Calculi.
(Decidable monadic second Order Theories of arithmetic)