Ticket entailment plus the mingle axiom has the variable-sharing property
- Méndez, J.M.
- Robles, G.
- Salto, F.
ISSN: 1367-0751, 1368-9894
Datum der Publikation: 2012
Ausgabe: 20
Nummer: 1
Seiten: 355-364
Art: Artikel
ISSN: 1367-0751, 1368-9894
Datum der Publikation: 2012
Ausgabe: 20
Nummer: 1
Seiten: 355-364
Art: Artikel