Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
Loading...
The system can't perform the operation now. Try again later.
Cite
Advanced search
Find articles
with
all
of the words
with the
exact phrase
with
at least one
of the words
without
the words
where my words occur
anywhere in the article
in the title of the article
Return articles
authored
by
e.g.,
"PJ Hayes"
or
McCarthy
Return articles
published
in
e.g.,
J Biol Chem
or
Nature
Return articles
dated
between
—
e.g.,
1996
Saved to My library
Done
Remove article
Articles
Case law
Profiles
My profile
My library
Alerts
Metrics
Advanced search
Settings
Sign in
Sign in
Articles
Scholar
1 result (
0.05
sec)
My profile
My library
Lookup
[CITATION]
[C]
LTL with the Freeze Quantifier and Register Automata
R Lazic
,
S Demri
- ACM Transactions on …, 2009 - Association for Computing …
Save
Cite
Cited by 1
Related articles
Privacy
Terms
Help
About Scholar
Search help
