default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGACT News, Volume 24, 1993
Volume 24, Number 1, Winter 1993
- Mark Allen Weiss:
Technical report column. 10-16 - Joseph O'Rourke:
Computational geometry column 18. 20-25 - S. Purushothaman:
Book Review: Nets, Terms and Formulas . By E.-R. Olderog. (Cambridge University Press, 1991 . x+267pp. ISBN 0-521-40044-9 . $49.95). 26-27 - Thomas A. Henzinger:
Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50). 27-28 - Ryan Stansifer
:
Book Review: Semantics of Programming Languages: Structures and Techniques. By Carl A. Gunter. (MIT Press, 1992. xviii+419pp. ISBN 0-262-07143-6 $37.50). 28-29 - Rocky Ross:
EDUCATION FORUM: New Courses on the Horizon. 30 - János Pach:
Extremal problems in graph drawings (abstract). 57 - Ioannis G. Tollis:
Visibility representations of planar graphs (abstract). 57-58 - Carlo Batini:
Applications of graph drawing to software engineering (abstract). 57 - Peter Eades:
Algorithms for drawing trees (abstract). 57 - Kozo Sugiyama:
Drawing compound digraphs and its application to an idea organizer (abstract). 58 - Hubert de Fraysseix, Pierre Rosenstiehl:
Partial orders for planarity and drawings (abstract). 58 - Giuseppe Di Battista:
Area requirements (abstract). 58-59 - Bojan Mohar:
Circle packing representation in the plane and other surfaces. 59 - Roberto Tamassia:
Algorithms for orthogonal drawings (abstract). 59 - Michael Kaufmann:
Angular resolution of straight-line drawings (abstract). 59 - Robert F. Cohen:
Dynamic graph drawing (abstract). 60 - Giuseppe Liotta:
An automatic layout facility (abstract). 60 - Goos Kant:
A new method for planar graph drawings on a grid (abstract). 60 - Martín Hötzel Escardó:
On lazy natural numbers with applications to computability theory and functional programming. 61-67 - Andrew Davison:
Vague text compression. 68-74
Volume 24, Number 2, Spring 1993
- Lane A. Hemaspaandra:
Lowness: a yardstick for NP-P. 10-14 - Claire Toynbee:
On the outer: women in computer science courses. 18-21 - Jon G. Riecke:
BOOK REVIEW: Action Semantics. By Peter D. Mosses. (Cambridge University Press, 1992. xx+372pp. ISBN 0-521-40347-2. $49.95). 24-25 - Amy E. Zwarico:
Book Review: Action Refinement in Process Algebras. By Luca Aceto. (Cambridge University Press, 1992. ix+273pp. ISBN 0-521-43111-5. $49.95). 25-26 - Rocky Ross:
EDUCATION FORUM: An Introductory Computer Science Curriculum Incorporating Theory. 27-29 - Don Colton:
A restated pumping lemma for context-free languages. 87 - Ranjan Chaudhuri, Hartmut Höft:
Splaying a search tree in preorder takes linear time. 88-93
Volume 24, Number 3, October 1993
- Kenneth W. Regan:
Machine models and linear time complexity. 5-15 - Boleslaw Mikolajzak:
Book Review: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume One . By Kurt Jensen. (Springer-Verlag, 1992. vii+234 pages. ISBN 0-387-55597-8. $69 .00). 31-33 - Prakash Panangaden:
Book Review: Programs, Recursion and Unbounded Choice. By Wim H. Hesselink. (Cambridge University Press, 1992. xii+223 pages. ISBN 0-521-40436-3. $39 .95). 34-37 - Rocky Ross:
EDUCATION FORUM: Lecture and Lab Syllabus for a Breadth-First Introductory Computer Science Course Sequence following the Data Structures and Algorithms Paradigm. 38-43 - Clark D. Thomborson:
Why are fewer females obtaining bachelor's degrees in computer science? 114-116 - Hu Xiao-Long:
The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring. 117-119
Volume 24, Number 4, December 1993
- Oded Goldreich:
A taxonomy of proof systems (part 1). 2-13 - Michael T. Goodrich:
Parallel algorithms column 1: models of computation. 16-21 - A. P. Sistla:
BOOK REVIEW: The Temporal Logic of Reactive and Concurrent Systems - Specification. By Zohar Manna and Amir Pnueli. (Springer-Verlag, 1991. xiv+427pp. ISBN 0-387-97664-7 . $49.95). 34-36 - Johann A. Makowsky:
Book Review: Predicate Transformer Semantics. By Ernest G. Manes. (Cambridge University Press, 1992, 233pp. ISBN 0-521-42036-9. $39.95). 36-38 - R. Ross:
Computer science laboratories. 45-48 - Claude G. Diderich:
A bibliography on minimax trees. 82-89 - Thomas H. Spencer:
Context-free languages. 90-91
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.
last updated on 2025-01-13 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
