×

Found 8 Documents (Results 1–8)

Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\). (English) Zbl 1432.68449

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 253-266 (2014).
MSC:  68T27 03B42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field