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

0-387-34804-2

Edizione

[1st ed. 1990.]

Descrizione fisica

1 online resource (XI, 292 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 425

Disciplina

512

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

Inglese

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

[1]+ leaves

Soggetti

Theology, Doctrinal - 16th century

Lingua di pubblicazione

Latino

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

eebo-0018