×

Found 22 Documents (Results 1–22)

Improving the quality of machine translation using the reverse model. (English. Russian original) Zbl 1511.68290

Autom. Remote Control 83, No. 12, 1897-1907 (2022); translation from Avtom. Telemekh. 2022, No. 12, 31-43 (2022).
MSC:  68T50
PDFBibTeX XMLCite
Full Text: DOI

A complete cyclic proof system for inductive entailments in first order logic. (English) Zbl 1416.03027

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 435-453 (2018).
MSC:  03F07 03D05
PDFBibTeX XMLCite
Full Text: DOI

Cyclic multiplicative proof nets of linear logic with an application to language parsing. (English) Zbl 1365.03039

Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 53-68 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Complexity classes on spatially periodic cellular automata. (English) Zbl 1359.68204

Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 112-124 (2014).
MSC:  68Q80 68Q15 68Q45
PDFBibTeX XMLCite
Full Text: DOI

From chemical rules to term rewriting. (English) Zbl 1276.68088

Cristea, Horatiu (ed.) et al., Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 147, No. 1, 113-134 (2006).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: Link

Consistency checking of automata functional specifications. (English) Zbl 0793.68102

Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 76-85 (1993).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software