|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Concrete Categorical Semantics of Lambda- S |
Díaz-Caro, Alejandro |
2019 |
344 | C |
p. 83-100 |
article |
|
| 2 | A Formalisation of Nominal C-Matching through Unification with Protected Variables |
Ayala-Rincón, Mauricio |
2019 |
344 | C |
p. 47-65 |
article |
|
| 3 | Dynamic Epistemic Logic with Communication Actions |
Folhadela Benevides, Mario Roberto |
2019 |
344 | C |
p. 67-82 |
article |
|
| 4 | Epistemic Logics with Structured Knowledge |
Madeira, Alexandre |
2019 |
344 | C |
p. 137-149 |
article |
|
| 5 | First Steps Towards a Formalization of Forcing |
Gunther, Emmanuel |
2019 |
344 | C |
p. 119-136 |
article |
|
| 6 | On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank |
Rocha, Thiago Alves |
2019 |
344 | C |
p. 189-208 |
article |
|
| 7 | On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks |
Alcântara, João |
2019 |
344 | C |
p. 3-23 |
article |
|
| 8 | Preface |
Accattoli, Beniamino |
2019 |
344 | C |
p. 1-2 |
article |
|
| 9 | Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types |
Alves, Sandra |
2019 |
344 | C |
p. 25-45 |
article |
|
| 10 | Proper Multi-Type Display Calculi for Rough Algebras |
Greco, Giuseppe |
2019 |
344 | C |
p. 101-118 |
article |
|
| 11 | Quasi-Nelson Algebras |
Rivieccio, Umberto |
2019 |
344 | C |
p. 169-188 |
article |
|
| 12 | Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages |
Ramos, Marcus V.M. |
2019 |
344 | C |
p. 151-167 |
article |
12 results found