MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Benjamin Rossman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Homomorphisms and First-Order Logic
by Benjamin Rossman — 2007
…Homomorphisms and First-Order Logic (Revision of August 16, 2007 — not for distribution) Benjamin…
Cited by 2 (0 self) – Add To MetaCart

Explicit graphs with extension properties
by Andreas Blass, Benjamin Rossman — Bulletin of the European Association for Theoretical Computer Science
…EXPLICIT GRAPHS WITH EXTENSION PROPERTIES ANDREAS BLASS AND BENJAMIN ROSSMAN Abstract. We exhibit…
Cited by 3 (2 self) – Add To MetaCart

Interactive small-step algorithms II: Abstract state machines and the characterization theorem
by Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
… ANDREAS BLASS, YURI GUREVICH, DEAN ROSENZWEIG, AND BENJAMIN ROSSMAN Mathematics Dept., University…
Cited by 3 (2 self) – Add To MetaCart

General Interactive Small-Step Algorithms
by Andreas Blass , Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman — 2005
… ‡ Benjamin Rossman § Microsoft Research Technical Report MSR-TR-2005-113 Abstract In earlier work…
Cited by 4 (3 self) – Add To MetaCart

Semantic Essence of AsmL
by Yuri Gurevich , Benjamin Rossman, Wolfram Schulte — 2004
…Semantic Essence of AsmL Yuri Gurevich, Benjamin Rossman, Wolfram Schulte Microsoft Research One…
Cited by 20 (4 self) – Add To MetaCart

Choiceless polynomial time, counting and the Cai–Fürer–Immerman graphs (extended abstract
by Anuj Dawar, David Richerby, Benjamin Rossman — in: Proc. 12th Workshop on Logic, Language, Information and Computation
…-84, Athens, Greece. Benjamin Rossman Massachusetts Institute of Technology, 77 Massachusetts Avenue…
Cited by 3 (0 self) – Add To MetaCart

Interactive small-step algorithms I: Axiomatization,
by Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman — 2006
…, AND BENJAMIN ROSSMAN Mathematics Dept., University of Michigan, Ann Arbor, MI 48109, U.S.A. e-mail address…
Cited by 3 (2 self) – Add To MetaCart

Semantic Essence of AsmL: Extended Abstract ⋆
by Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
…Semantic Essence of AsmL: Extended Abstract ⋆ Yuri Gurevich, Benjamin Rossman and Wolfram Schulte…
Add To MetaCart

Semantic Essence of AsmL
by Yuri Gurevich Benjamin, Benjamin Rossman, Wolfram Schulte — 2004
…Semantic Essence of AsmL Yuri Gurevich, Benjamin Rossman, Wolfram Schulte Microsoft Research One…
Add To MetaCart

An optimal decomposition algorithm for tree edit distance
by Erik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann — 2007 — In Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP
… ⋆⋆ , Benjamin Rossman, and Oren Weimann MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB