Publications

Deciding Kat and Hoare Logic with Derivatives

AuthID
P-008-KZB

Author(s)

Almeida, R

Broda, S

Moreira, N

Editor(s)

Marco Faella; Aniello Murano

Document Type

Proceedings Paper

Year published

2012

Published

in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. in EPTCS, ISSN: 2075-2180

Volume: 96, Pages: 127-140

Conference

3Rd International Symposium on Games, Automata, Logics and Formal Verification, G and Alf 2012, Date: 6 September 2012 through 8 September 2012

Indexing

Scopus^®

Dblp^®/en/publications/view/282603

Crossref^®4

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.4204/EPTCS.96.10

DBLP: journals/corr/abs-1210-2456

SCOPUS: 2-s2.0-84996587382

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Deciding Kat and Hoare Logic with Derivatives

Useful Links

Get Help

Federated Authentication (Click on the image)

Deciding Kat and Hoare Logic with Derivatives

Useful Links

Get Help