Results 271 to 280 of about 129,657 (289)
Some of the next articles are maybe not open access.
LTL with the freeze quantifier and register automata
ACM Transactions on Computational Logic, 2009Stephane Demri, Ranko Lazic
exaly
Interpreting Quantifier Scope Ambiguity: Evidence of Heuristic First, Algorithmic Second Processing
PLoS ONE, 2013Veena D Dwivedi
exaly

