Suchergebnisse - Wannenburg, Johann J | OPAC THWS

1

Singly generated quasivarieties and residuated structures von Moraschini, Tommaso, Raftery, James G., Wannenburg, Johann J.

Veröffentlicht in Mathematical logic quarterly

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS von MORASCHINI, TOMMASO, WANNENBURG, JOHANN J., YAMAMOTO, KENTARO

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests von Sedlár, Igor, Wannenburg, Johann J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests von Sedlár, Igor, Wannenburg, Johann J

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

One-sorted Program Algebras von Sedlár, Igor, Wannenburg, Johann J

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Semilinear De Morgan monoids and epimorphisms von Wannenburg, Johann J, Raftery, James G

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

One-sorted Program Algebras von Sedlár, Igor, Wannenburg, Johann J

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Semilinear De Morgan monoids and epimorphisms von Wannenburg, Johann J, Raftery, James G

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

$The determination of cost-effective NDE inspection schedules for structures containing defects based on probabilistic fracture mechanics$

The determination of cost-effective NDE inspection schedules for structures containing defects based on probabilistic fracture mechanics von Wannenburg, Johann

Veröffentlicht in The International journal of pressure vessels and piping

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: