| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465940603316 |
|
|
Titolo |
Algebraic Logic and Universal Algebra in Computer Science [[electronic resource] ] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY : , : Springer New York : , : Imprint : Springer, , 1990 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1990.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 292 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 425 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Mathematical logic |
Algorithms |
Data structures (Computer science) |
Computer science—Mathematics |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Algorithm Analysis and Problem Complexity |
Data Structures |
Symbolic and Algebraic Manipulation |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Relatively free relation algebras -- The value of free algebras -- Continuations of logic programs -- On cylindric algebraic model theory -- Dynamic algebras as a well-behaved fragment of relation algebras -- All recursive types defined using products and sums can be implemented using pointers -- The abstract Galois theory: A survey -- The implications in conditional logic -- Optimal semantics of data type extensions -- Other logics for (equational) theories -- Mal'cev algebras for universal algebra terms -- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic -- The resolution rule: An algebraic perspective -- Incremental models of updating data bases -- Noncommutative cylindric algebras and relativizations of |
|
|
|
|
|
|
|
|
|
|
|
|
|
cylindric algebras -- On the ?-definable tree operations. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996390134903316 |
|
|
Autore |
Godet Giles |
|
|
Titolo |
The city of London, as it was before the burning of St. Pauls ste[eple] [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[London?, : G. Godet?, 1565?] |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
London (England) History 16th century |
London (England) Maps, Pictorial Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Attributed to Giles Godet by STC (2nd ed.). |
Imprint from STC (2nd ed.). |
The steeple of St. Paul's Cathedral burned in 1561. |
Title on banner within illustration: Civitas Londinum. |
Imperfect: creased, cropped and torn, with loss of part of title and picture. |
Reproduction of original in: Pepys Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |