Você está em: Start > Publications > View > Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Map of Premises
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Type
International Conference Proceedings Book
Year
2014
Conference International
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
San Diego, CA, 20 January 2014 through 21 January 2014
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
9783319041315
Collection:
Lecture Notes in Computer Science
Vol.:
8324 LNCS
Documents
We could not find any documents associated to the publication.
Publications included
On the correctness and efficiency of lock-free expandable tries for tabled logic programsImported from Authenticus
Article in International Conference Proceedings Book
Areias, M (Author) (Other); Rocha, R (Author) (FCUP)
2014
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-07-13 at 21:44:13 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-07-13 at 21:44:13 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book