Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

On some new results on the formal principle for embeddings

Kosarew, S.
Goettingen Univ. (Germany). Sonderforschungsbereich 170 - Geometrie und Analysis
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

Publication date

January 1986

Abstract

SIGLETIB: RO 2556 (51) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

Extracted data

Related items

Regular split embedding problems over complete valued fields

Haran, D.
Jarden, M. (Tel Aviv Univ. (Israel). Dept. of Mathematical Sciences)
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1996

SIGLEAvailable from TIB Hannover: RR 1606(96-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

The compression theorem II: directed embeddings

Colin Rourke
Brian Sanderson

February 2008

This is the second of three papers about the Compression Theorem. We give proofs of Gromov’s theorem...

Representativity of surface embeddings

Robertson, Neil
Vitray, Richard

January 1989

SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...

Embedding: Eine Kombination von ab initio Methoden und Kraftfeldverfahren Abschlussbericht

Ahlrichs, R.
Bauernschmitt, R.
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Physikalische Chemie und Elektrochemie

January 1997

Available from TIB Hannover: DtF QN1(56,4) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

On the embedding problem from the viewpoint of differential topology

January 2000

Proceedings of the fourth international workshop on differential geometry (Brasov-Romania, September...

On the embedding problem from the viewpoint of differential topology

YASUI, Tsutomu
ヤスイ, ツトム
安井, 孜

January 2000

Proceedings of the fourth international workshop on differential geometry (Brasov-Romania, September...

On embedding theorems

Kolyada, Viktor I.

January 2006

summary:This paper is devoted to embedding theorems for classes of functions of several variables. O...

On potential embedding and versions of Martin's axiom

Fuchino, S.
Berlin Freie Univ. (Germany). Inst. fuer Mathematik 2

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

Alexander Steen

June 2022

These files are supplementary material to the paper An Extensible Logic Embedding Tool for Lightwe...

Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

Alexander Steen

June 2022

These files are supplementary material to the paper An Extensible Logic Embedding Tool for Lightwe...

Logic embedding tool v1.7.15

Alexander Steen

May 2023

The logic embedding tool is a tool for embedding non-classical logics into higher-order logic (HOL)....

The embedding method or How to handle locally broken symmetries

Hoof, J.B.A.N. van

January 1997

Contains fulltext : mmubn000001_237402416.pdf (publisher's version ) (Open Access)...

\u201cObligatorio\u201d implica \u201cpermitido\u201d. \ubfimplicaci\uf3n formal o material?

Giovanni Battista, Ratti

January 2015

The paper discusses the possible logical status of the \u201cobligatory implies permitted\u201d prin...

Embedding geometric lattices with topology

Groh, H.
Darmstadt Technische Hochschule (Germany). Fachbereich 4 - Mathematik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Using resolution and paramodulation for induction proofs

Hutter, D. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Regular split embedding problems over complete valued fields

Haran, D.
Jarden, M. (Tel Aviv Univ. (Israel). Dept. of Mathematical Sciences)
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1996

SIGLEAvailable from TIB Hannover: RR 1606(96-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

The compression theorem II: directed embeddings

Colin Rourke
Brian Sanderson

February 2008

This is the second of three papers about the Compression Theorem. We give proofs of Gromov’s theorem...

Representativity of surface embeddings

Robertson, Neil
Vitray, Richard

January 1989

SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...

Embedding: Eine Kombination von ab initio Methoden und Kraftfeldverfahren Abschlussbericht

Ahlrichs, R.
Bauernschmitt, R.
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Physikalische Chemie und Elektrochemie

January 1997

Available from TIB Hannover: DtF QN1(56,4) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

On the embedding problem from the viewpoint of differential topology

January 2000

Proceedings of the fourth international workshop on differential geometry (Brasov-Romania, September...

On the embedding problem from the viewpoint of differential topology

YASUI, Tsutomu
ヤスイ, ツトム
安井, 孜

January 2000

Proceedings of the fourth international workshop on differential geometry (Brasov-Romania, September...

On embedding theorems

Kolyada, Viktor I.

January 2006

summary:This paper is devoted to embedding theorems for classes of functions of several variables. O...

On potential embedding and versions of Martin's axiom

Fuchino, S.
Berlin Freie Univ. (Germany). Inst. fuer Mathematik 2

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

Alexander Steen

June 2022

These files are supplementary material to the paper An Extensible Logic Embedding Tool for Lightwe...

Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

Alexander Steen

June 2022

These files are supplementary material to the paper An Extensible Logic Embedding Tool for Lightwe...

Logic embedding tool v1.7.15

Alexander Steen

May 2023

The logic embedding tool is a tool for embedding non-classical logics into higher-order logic (HOL)....

The embedding method or How to handle locally broken symmetries

Hoof, J.B.A.N. van

January 1997

Contains fulltext : mmubn000001_237402416.pdf (publisher's version ) (Open Access)...

\u201cObligatorio\u201d implica \u201cpermitido\u201d. \ubfimplicaci\uf3n formal o material?

Giovanni Battista, Ratti

January 2015

The paper discusses the possible logical status of the \u201cobligatory implies permitted\u201d prin...

Embedding geometric lattices with topology

Groh, H.
Darmstadt Technische Hochschule (Germany). Fachbereich 4 - Mathematik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Using resolution and paramodulation for induction proofs

Hutter, D. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Regular split embedding problems over complete valued fields

Haran, D.
Jarden, M. (Tel Aviv Univ. (Israel). Dept. of Mathematical Sciences)
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1996

SIGLEAvailable from TIB Hannover: RR 1606(96-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

The compression theorem II: directed embeddings

Colin Rourke
Brian Sanderson

February 2008

This is the second of three papers about the Compression Theorem. We give proofs of Gromov’s theorem...

Representativity of surface embeddings

Robertson, Neil
Vitray, Richard

January 1989

SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...