university website Publications by Year
  • sign in
  • Networks and Optimization /
  • Lecture Notes in Computer Science /
  • Book Chapter
  • Search

K.R. Apt (Krzysztof)

2012

Two three pages papers

Publication

Publication

Additional Metadata
THEME Logistics (theme 3)
Publisher Springer
Editor R.L. Constable , A.M. Silva (Alexandra)
Persistent URL dx.doi.org/10.1007/978-3-642-29485-3
Series Lecture Notes in Computer Science
Note crossref DBLP:conf/birthday/2012kozen
Organisation Networks and Optimization
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
Apt, K.R. (2012). Two three pages papers. In R.L Constable & A.M Silva (Eds.), Logic and Program Semantics (pp. 322–322). Springer. doi:10.1007/978-3-642-29485-3
  • View at Publisher

Free Full Text ( Final Version )

Additional Files
Publisher Version

See Also
book
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday
book
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam
    • info@cwi.nl
  • Publishing at CWI

    • Open Access Portal
    • Submitting Your Work
  • Send article pdf, or link to archived materials:

    • artudis@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close