611 search results - page 11 / 123 » Yuri, Logic, and Computer Science |
70
Voted
CSE
2009
IEEE
14 years 7 months ago
2009
IEEE
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
A sequential algorithm just follows its instructions and thus cannot make a nondeterministic choice all by itself, but it can be instructed to solicit outside help to make a choic...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
CSR
2006
Springer
15 years 1 months ago
2006
Springer
Given two strings (a text t of length n and a pattern p) and a natural number w, window subsequence problems consist in deciding whether p occurs as a subsequence of t and/or findi...