Charting Searchland, ACM SIG Data Mining

Vor 12 Jahren 329 Aufrufe

Pargram2011

Vor 12 Jahren 300 Aufrufe

Logics of Context and Modal Type Theories

Vor 12 Jahren 587 Aufrufe

Lorenzen

Vor 12 Jahren 297 Aufrufe

IMLA2011 Opening

Vor 12 Jahren 644 Aufrufe

Constructive Access Control

Vor 12 Jahren 349 Aufrufe

Chu and Dialectica: cousins?

Vor 12 Jahren 209 Aufrufe

Fibrational Versions of Dialectica Categories

Vor 12 Jahren 470 Aufrufe

Fun with Constructive Modalities

Vor 12 Jahren 554 Aufrufe

AbstractKR on Pargram 2006

Vor 12 Jahren 670 Aufrufe

Constructive Hybrid Logics

Vor 12 Jahren 295 Aufrufe

Constructive Description Logics 2006

Vor 12 Jahren 403 Aufrufe

PORTUGUESE NLP FOR FGV?

Vor 12 Jahren 540 Aufrufe