Model Checking Abilities of Agents: A Closer Look.
- Published in:
- Theory of Computing Systems, 2008, v. 42, n. 3, p. 366, doi. 10.1007/s00224-007-9080-z
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2008 AND VI 42 AND IP 3
Results: 6
1
2
A New Combinatorial Approach to Sequence Comparison.
- Published in:
- Theory of Computing Systems, 2008, v. 42, n. 3, p. 411, doi. 10.1007/s00224-007-9078-6
- By:
- Publication type:
- Article
3
Logical Equivalence for Subtyping Object and Recursive Types.
- Published in:
- Theory of Computing Systems, 2008, v. 42, n. 3, p. 306, doi. 10.1007/s00224-007-9079-5
- By:
- Publication type:
- Article
4
Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error.
- Published in:
- Theory of Computing Systems, 2008, v. 42, n. 3, p. 349, doi. 10.1007/s00224-007-9031-8
- By:
- Publication type:
- Article
5
Grasp and Delivery for Moving Objects on Broken Lines.
- Published in:
- Theory of Computing Systems, 2008, v. 42, n. 3, p. 289, doi. 10.1007/s00224-007-9081-y
- By:
- Publication type:
- Article
6
Foreword.
- Published in:
- 2008
- By:
- Publication type:
- Editorial