default search action

combined dblp search
author search
venue search
publication search

ask others

SIGACT News (ACM), Volume 11

> Home > Journals > SIGACT News (ACM)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 11, Number 1, Summer 1979

Book review

- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Cherniavsky79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Cherniavsky79
John C. Cherniavsky:
Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall. 17
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Cherniavsky79a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Cherniavsky79a
John C. Cherniavsky:
Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977. 18
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/DerusH79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/DerusH79
Kenneth H. Derus, John C. Hansen:
Logics of truth and disposition. 36-43
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/X79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/X79
Recent technical reports. 44-80

Volume 11, Number 2, Fall 1979

Book reviews

- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Cherniavsky79b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Cherniavsky79b
John C. Cherniavsky:
Review of "TORIX: a programming system for operations on vectors and matrices over arbitrary fields and of variable size, vol 1" by S. G. Van Der Meulen and M. Veldhorst. Mathematisch Centrum 1978. 6
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/DeMilloL79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/DeMilloL79
Richard A. DeMillo, Richard J. Lipton:
Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976. 7-9
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/BorodinFKLT79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/BorodinFKLT79
Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa:
A time-space tradeoff for sorting and related non-oblivious computations. 24
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/EhrigKP79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/EhrigKP79
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic implementation of abstract data types: an announcement. 25-29
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/DerusH79a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/DerusH79a
Kenneth H. Derus, John C. Hansen:
Propositions with multiple dispositions and multiple truth values. 30-35
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/BentleyS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/BentleyS79
Jon Louis Bentley, James B. Saxe:
Algorithms on vector sets. 36-39
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/X79a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/X79a
Recent technical reports. 40-57

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.