| |
|
|
|
|
|
|
|
|
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. |
UNISA996393381703316 |
|
|
Autore |
Melanchthon Philip <1497-1560.> |
|
|
Titolo |
Loci communes theologici recens collecti & nouissimé recogniti [[electronic resource] /] / à Philippo Melanchthone |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[S.l., : s.n.], M. D. XXXVI [1536] |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Theology, Doctrinal - 16th century |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title within ornamental border. |
Fragment: t.p. only. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |