Suchergebnisse - Abrusci, VM | OPAC THWS

1

Universal and Particular Contradiction in Human Reasoning von Medaglia, MT, Tecchio, F, Seri, S, Di Lorenzo, G, Abrusci, VM, Casadio, C, Rossini, PM, Porcaro, C

Veröffentlicht in NeuroImage (Orlando, Fla.)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Towards a semantics of proofs for non-commutative logic: multiplicatives and additives von Abrusci, V.Michele

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic von Abrusci, V. Michele

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Modules in Non-commutative Logic von Michele Abrusci, V.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Tree Adjoining grammars in a fragment of the Lambek calculus von ABRUSCI, V. M, FOUQUERE, C, VAUZEILLES, J

Veröffentlicht in Computational linguistics - Association for Computational Linguistics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

A comparison between lambek syntactic calculus and intuitionistic linear propositional logic von Abrusci, V. Michele

Veröffentlicht in Mathematical logic quarterly

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A logic of recursion von Abrusci, V.Michele, Mascari, Gianfranco

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: