Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Computer Science

Logics and Meanings of Programs

Online First™

Viewing 1 item

Subject
Collection

Search within

Search Within This Subject

Hide Filters
Show Filters

Browse This Subject

Online First™
Open Access
Samples

Publications

Filter Results

Remove criteria to expand these results

Content Status >Online First™

Search within

Search Within This Collection

Browse This Collection

Subjects

Publications

Journal Article
Online First™
First-order logics: some characterizations and closure properties
Christian Choffrut, Andreas Malcher, Carlo Mereghetti and Beatrice Palano
Acta Informatica, Online First™, 19 May 2012
- Download PDF (349.3 KB)

FAQ General info on journals and books Send us your feedback Impressum Site Map Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info