ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
46
views
0
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,921
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Formal Models and Semantics
Logics of Programs
edited_book
Author(s):
Dexter KOZEN
,
Jerzy TIURYN
Publication date
(Print):
1990
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Author and book information
Book Chapter
Publication date (Print):
1990
Pages
: 789-840
DOI:
10.1016/B978-0-444-88074-1.50019-6
SO-VID:
09f0d620-a621-4298-9f52-3c2847c87156
License:
https://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Finite Automata
pp. 133
Automata on Infinite Objects
pp. 193
Graph Rewriting: An Algebraic and Logic Approach
pp. 243
Rewrite Systems
pp. 493
Logic Programming
pp. 675
Algebraic Specification
pp. 789
Logics of Programs
pp. 995
Temporal and Modal Logic
pp. 1073
Elements of Relational Database Theory
pp. 1201
Operational and Algebraic Semantics of Concurrent Processes
Similar content
1,921
Underemploying highly skilled migrants: An organizational logic protecting corporate ‘normality’
Authors:
Annette Risberg
,
Laurence Romani
MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
Authors:
M V Zakhar'yashchev
GROUNDWATER EXPLORATION USING FUZZY LOGIC APPROACH IN GIS FOR AN AREA AROUND AN ANTICLINE, FARS PROVINCE
Authors:
S Rafati
,
M. NIKEGHBAL
See all similar
Cited by
12
Automatic Composition of E-services That Export Their Behavior
Authors:
Daniela Berardi
,
Diego Calvanese
,
Giuseppe De Giacomo
…
Branching vs. Linear Time: Final Showdown
Authors:
Moshe Vardi
The KeY tool: Integrating object oriented design and formal verification
Authors:
Wolfgang Ahrendt
,
Thomas Baar
,
Bernhard Beckert
…
See all cited by