Author:
Bollig Benedikt,Gastin Paul,Monmege Benjamin
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Automata Theoretic Characterization of Weighted First-Order Logic;Automated Technology for Verification and Analysis;2023
2. Two-way pebble transducers for partial functions and their composition;Acta Informatica;2015-03-04
3. Logical characterization of weighted pebble walking automata;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. Weighted Specifications over Nested Words;Lecture Notes in Computer Science;2013