Show simple item record

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

dc.contributor.editorBaier, Christel
dc.contributor.editorDal Lago, Ugo
dc.date.accessioned2021-02-10T12:58:18Z
dc.date.issued2018
dc.date.submitted2018-11-01 23:55:55
dc.date.submitted2020-03-18 13:36:15
dc.date.submitted2020-04-01T12:03:58Z
dc.identifier1002198
dc.identifierOCN: 1031399785
dc.identifierhttp://library.oapen.org/handle/20.500.12657/27807
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/31640
dc.description.abstractartificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
dc.languageEnglish
dc.relation.ispartofseriesTheoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.otherartificial intelligence
dc.subject.othercomputer software
dc.subject.otherselection and evaluation
dc.subject.otherformal logic
dc.subject.othergraph theory
dc.subject.othermodal logic
dc.subject.otherpetri nets
dc.subject.otherprogram compilers
dc.subject.otherprogramming language
dc.subject.othersemantics
dc.subject.otherseparation logic
dc.subject.othersoftware engineering
dc.subject.othertheorem proving
dc.subject.othertype systems
dc.subject.otherverification
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science
dc.titleFoundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-319-89366-2
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783319893662
oapen.place.publicationCham


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access