Verfasser Suchresultate :: Subito Katalog

1

Unification and projectivity in propositional logic

von Ghilardi, Silvio
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista

von Ghilardi, Silvio
Veröffentlicht 1983

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Grothendieck topologies on finite algebras

von Ghilardi, Silvio
Veröffentlicht 1997

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics

von Ghilardi, Silvio
Veröffentlicht 2002

Cover
Kapitel 2
Kapitel 3
Kapitel 4
Kapitel 5
Kapitel 6
Inhaltsverzeichnis
Inhaltstext
Inhaltstext
Publisher description

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Model completions of equational theories arising from logic

von Ghilardi, Silvio
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Relational and partial variable sets and basic predicate logic

von Ghilardi, Silvio
Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Semantical aspects of quantified modal logic

von Corsi, Giovanni
Veröffentlicht in Knowledge, belief, and strategic interaction (1992)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Relational and partial variable sets and basic predicate logic

von Ghilardi, Silvio
Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Interpolation and Amalgamation for Arrays with MaxDiff

von Ghilardi, Silvio
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings

Veröffentlicht 2009

Inhaltsverzeichnis
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Petri Nets with Parameterised Data

von Ghilardi, Silvio
Veröffentlicht in BPM (Veranstaltung : 18. : 2020 : Online) Business process management (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN

von Ghilardi, Silvio
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Combined Covers and Beth Definability

von Calvanese, Diego
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: