Cargando…
Complexity and Expressivity of Dependence Logic Extensions.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Göttingen :
Cuvillier Verlag,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Zusammenfassung; Abstract; Contents; Chapter 1 INTRODUCTION; Chapter 2 PRELIMINARIES; Chapter 3 QUANTIFIER EXTENSIONS ON FIRST ORDER DEPENDENCE LOGIC; Chapter 4 EXTENDED MODAL DEPENDENCE LOGIC; Chapter 5 PARTIALLY ORDERED CONNECTIVES AND QUANTIFIERS; Chapter 6 CONCLUSION; Chapter 7 ACKNOWLEDGEMENTS; Bibliography; Index; LEBENSLAUF.