WorldCat Identities

Meyer, Albert R.

Overview
Works: 116 works in 229 publications in 8 languages and 1,623 library holdings
Genres: Conference proceedings  Pictorial works  Outlines and syllabi  Pastoral letters and charges  Classification  Prayers and devotions  Portraits 
Roles: Author, Editor, Illustrator, Thesis advisor
Classifications: QK41, 004
Publication Timeline
.
Most widely held works by Albert R Meyer
Research directions in computer science : an MIT perspective by Symposium on Research Direction in Computer Science( Book )

9 editions published in 1991 in English and German and held by 360 WorldCat member libraries worldwide

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings by Albert R Meyer( Book )

21 editions published in 1989 in English and Italian and held by 312 WorldCat member libraries worldwide

"The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory."--Publisher's website
Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings by Takayasu Itō( Book )

13 editions published in 1991 in English and held by 261 WorldCat member libraries worldwide

"TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software."--PUBLISHER'S WEBSITE
L'histoire des plantes mis en commentaries by Leonhart Fuchs( Book )

13 editions published between 1542 and 1543 in 4 languages and held by 48 WorldCat member libraries worldwide

Digitized facsimile of the 1542 Basel edition, from a copy held at the Warnock Library
Der Entwicklungsgedanke in Schleiermachers Glaubenslehre by Albert R Meyer( Book )

7 editions published in 1910 in German and held by 42 WorldCat member libraries worldwide

Mary in the liturgy by National Liturgical Week( Book )

1 edition published in 1955 in English and held by 24 WorldCat member libraries worldwide

A personal will and estate plan by Albert R Meyer( Book )

1 edition published in 1986 in English and held by 21 WorldCat member libraries worldwide

Stel self jou testament op : 'n praktiese handleiding by Albert R Meyer( Book )

1 edition published in 1988 in Afrikaans and held by 20 WorldCat member libraries worldwide

What is a model of the lambda calculus? by Albert R Meyer( Book )

4 editions published between 1980 and 1981 in English and Undetermined and held by 18 WorldCat member libraries worldwide

Die Melioration des Spreewaldes by Albert R Meyer( Book )

5 editions published in 1935 in German and held by 17 WorldCat member libraries worldwide

Drafting your own will : a practical guide by Albert R Meyer( Book )

2 editions published between 1988 and 1989 in English and held by 15 WorldCat member libraries worldwide

Die jüdischen Gemeinden in Deutschland und die Bedrohung ihres Rechts auf Selbstbestimmung durch das Allgemeine (AGG) by Klaus Adomeit( Book )

2 editions published in 2008 in German and held by 14 WorldCat member libraries worldwide

Liturgical sermons : a handbook for those who preach, teach, and live the liturgy by Gerard P Weber( Book )

1 edition published in 1964 in English and held by 11 WorldCat member libraries worldwide

Specifying the semantics of WHILE-programs : a tutorial and critique of a paper by Hoare and Lauer by Irene Greif( Book )

5 editions published in 1979 in English and held by 11 WorldCat member libraries worldwide

Three kinds of mathematical objects are considered which can be designated as the 'meaning or 'semantics' of programs: binary relations between initial and final states, binary relations on predicates (partial correctness semantics), and functionals from predicates to predicates (predicate transformers). We exhibit various formal specification mechanisms: induction on program syntax, axioms, and deductive systems. We show that each kind of semantics can be specified by several different mechanisms. As long as arbitrary predicates on states are permitted, each kind of semantics uniquely determines the others -- with the sole exception of the weakest pre-condition semantics for nondeterministic programs
Decency and modesty: a pastoral letter of Albert G. Meyer by Albert R Meyer( Book )

1 edition published in 1956 in English and held by 10 WorldCat member libraries worldwide

Ueber Pulsionsdivertikel des Oesophagus by Albert R Meyer( Book )

6 editions published in 1903 in German and Undetermined and held by 9 WorldCat member libraries worldwide

A note on equivalences among logics of programs by Albert R Meyer( Book )

2 editions published in 1981 in English and held by 9 WorldCat member libraries worldwide

Ecumenism : the spirit of Christian unity : lenten pastoral, 1964 by Albert R Meyer( Book )

2 editions published in 1964 in English and held by 9 WorldCat member libraries worldwide

Ten thousand and one logics of programming by Albert R Meyer( Book )

2 editions published in 1980 in Undetermined and English and held by 8 WorldCat member libraries worldwide

The inherent computational complexity of theories of ordered sets : a brief survey by Albert R Meyer( Book )

2 editions published in 1974 in English and held by 8 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.28 for Albert Gre ... to 1.00 for News of th ...)

Research directions in computer science : an MIT perspective
Alternative Names
Meyer, A. R.

Meyer, A. R. (Albert R.)

Meyer, Albert

Meyer, Albert R.

Languages
Covers
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedingsTheoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings