Publications

Rigid First-Order Hybrid Logic

AuthID
P-00Q-TJP

Author(s)

Blackburn, P

Martins, MA

Manzano, M

Huertas, A

Editor(s)

Iemhoff,R;Moortgat,M;de Queiroz,RJGB

Document Type

Proceedings Paper

Year published

2019

Published

in Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11541, Pages: 53-69

Conference

26Th International Workshop on Logic, Language, Information and Communication, Wollic 2019, Date: 2 July 2019 through 5 July 2019

Indexing

Scopus^®

Dblp^®/en/publications/view/780886

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-662-59533-6_4

DBLP: conf/wollic/BlackburnMMH19

SCOPUS: 2-s2.0-85068597496

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Rigid First-Order Hybrid Logic

Useful Links

Get Help

Federated Authentication (Click on the image)

Rigid First-Order Hybrid Logic

Useful Links

Get Help