51

Anti-liver and antiendomysial autoantibodies in primary antiphospholipid (Hughes') syndrome

Year:
2010
Language:
english
File:
PDF, 59 KB
english, 2010
54

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

Year:
2005
Language:
english
File:
PDF, 312 KB
english, 2005
55

Labelled Tableaux for Distributed Temporal Logic

Year:
2009
Language:
english
File:
PDF, 606 KB
english, 2009
58

Combining Logics II || Synchronization of Logics

Year:
1997
Language:
english
File:
PDF, 2.34 MB
english, 1997
60

Decidability and complexity of fibred logics without shared connectives

Year:
2016
Language:
english
File:
PDF, 538 KB
english, 2016
64

Generalized Probabilistic Satisfiability

Year:
2017
Language:
english
File:
PDF, 374 KB
english, 2017
65

Compositional Meaning in Logic

Year:
2017
Language:
english
File:
PDF, 473 KB
english, 2017
67

Characterizing finite-valuedness

Year:
2017
Language:
english
File:
PDF, 590 KB
english, 2017
86

Probabilistic logic over equations and domain restrictions

Year:
2019
Language:
english
File:
PDF, 609 KB
english, 2019