A decidable recursive logic forweighted transition systems

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)
OriginalsprogEngelsk
TitelTheoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Antal sider17
Vol/bind8687
ForlagSpringer
Publikationsdato1 jan. 2014
Sider460-476
StatusUdgivet - 1 jan. 2014
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN0302-9743

Fingerprint

Syntactics
Real time systems
Costs

Citer dette

Larsen, K. G., Mardare, R., & Xue, B. (2014). A decidable recursive logic forweighted transition systems. I Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Bind 8687, s. 460-476). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Larsen, Kim Guldstrand ; Mardare, Radu ; Xue, Bingtian. / A decidable recursive logic forweighted transition systems. Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Bind 8687 Springer, 2014. s. 460-476 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{082254f6d0414c1988950e544d636218,
title = "A decidable recursive logic forweighted transition systems",
keywords = "Labelled weighted transition system, Maximal fixed point computation, Multi-modal logic",
author = "Larsen, {Kim Guldstrand} and Radu Mardare and Bingtian Xue",
year = "2014",
month = "1",
day = "1",
language = "English",
volume = "8687",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "460--476",
booktitle = "Theoretical Aspects of Computing – ICTAC 2014",
address = "Germany",

}

Larsen, KG, Mardare, R & Xue, B 2014, A decidable recursive logic forweighted transition systems. i Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. bind 8687, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), s. 460-476.

A decidable recursive logic forweighted transition systems. / Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian.

Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Bind 8687 Springer, 2014. s. 460-476 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - A decidable recursive logic forweighted transition systems

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu

AU - Xue, Bingtian

PY - 2014/1/1

Y1 - 2014/1/1

KW - Labelled weighted transition system

KW - Maximal fixed point computation

KW - Multi-modal logic

M3 - Article in proceeding

VL - 8687

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 460

EP - 476

BT - Theoretical Aspects of Computing – ICTAC 2014

PB - Springer

ER -

Larsen KG, Mardare R, Xue B. A decidable recursive logic forweighted transition systems. I Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Bind 8687. Springer. 2014. s. 460-476. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).