| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910594098403321 |
|
|
Autore |
Zweigert, Konrad |
|
|
Titolo |
Die Haftung fur gefahrliche Anlagen in den EWG-Landern sowie in England und den Vereinigten Staaten von Amerika : ein rechtsvergleichendes Gutachten / von Konrad Zweigert und Hein Kotz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996418205303316 |
|
|
Titolo |
Rewriting Logic and Its Applications [[electronic resource] ] : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 217 p. 39 illus., 11 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12328 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. |
|
|
|
|
|
|
|
| |