Funder
Comunidad de Madrid
España Ministerio de Ciencia Innovación y Universidades
European Commission
Ministerio de Economía y Competitividad
Agencia Estatal de Investigación
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference64 articles.
1. Apex.AI does the invisible work that will make self-driving cars possible;Ackerman;IEEE Spectrum,2019
2. Conditional narrowing modulo SMT and axioms;Aguirre,2017
3. Control flow analysis;Allen;ACM SIGPLAN Not.,1970
4. Model checking linear temporal logic of rewriting formulas under localized fairness;Bae;Sci. Comput. Program.,2015
5. Abstract logical model checking of infinite-state systems using narrowing;Bae,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献