search

Skip to results

Modify your search

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Availability

All content I have access to

Purchased
Free

NARROW

Format

Facet list

Journal Article (1)

Type

Facet list

Research Article (1)

Section

Find a Section

The list will update as you type

Facet list

Original Articles (1)

Publication date

Date Range

Published
Updated

Date range

Single date

From Select month

To Select month

Publication date

1-1 of 1

Authors: Loredana Tec

Save search

Follow your search

Access your saved searches in your account

Name your search

Follow this search

Would you like to receive an alert when new items match your search?

Save search

Sort by

Sort Order Select

Journal Article

A complete logic for Database Abstract State Machines Get access

PDF

Flavio Ferrarotti and others

Logic Journal of the IGPL, Volume 25, Issue 5, October 2017, Pages 700–740, https://doi.org/10.1093/jigpal/jzx021

Published: 06 July 2017

Email alerts

New journal issues

New journal articles

Perform this search in

Journals Journals

Books Books

Oxford Academic Oxford Academic

Modify your search

Publication date

A complete logic for Database Abstract State Machines Get access

Email alerts

This Feature Is Available To Subscribers Only