Você está em: Start > Publications > View > DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Map of Premises

Publication

Publications

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Title

Type

International Conference Proceedings Book

Date

2018

Title

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Type

International Conference Proceedings Book

Year

2018

Conference International

20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)

Saint Mary's Univ, Halifax, CANADA, JUL 25-27, 2018

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 978-3-319-94631-3; 978-3-319-94630-6

Electronic ISBN: 978-3-319-94630-6

Collection: Lecture Notes in Computer Science

Vol.: 10952

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Ferreira, M (Author) (Other); Nelma Moreira (Author) (FCUP); Rogério Reis (Author) (FCUP)

2018