MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Action" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 195,254 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Action  
  • by Incits T Committee, Michael Banther Hp — 2006
  • actions for MAINTENANCE (IN) and MAINTENANCE (OUT) T10/06-223r0 Date 4 May 2006 Revision History Revision…
  • Add To MetaCart
  • In Action  
  • by Bruce Jacob, Trevor Mudge — 1996 — In Proc. SIGOPS European Workshop, Connemara
  • …The trading function in action Bruce Jacob and Trevor Mudge Advanced Computer Architecture Lab…
  • Add To MetaCart
  • Actions  
  • by unknown authors
  • … References 1. Question Actions Cited By Save as Citation Alert E-mail Article Export Citation Define a graph…
  • Add To MetaCart
  • Guarded actions  
  • by Jan Van Eijck — 2004
  • …Guarded Actions Jan van Eijck CWI and ILLC, Amsterdam, Uil-OTS, Utrecht December 7, 2004 Abstract…
  • Cited by 2 (2 self)Add To MetaCart
  • Action Languages  
  • by Michael Gelfond, Vladimir Lifschitz — 1998 — Electronic Transactions on AI
  • Action Languages Michael Gelfond Department of Computer Science University of Texas at El Paso…
  • Cited by 127 (20 self)Add To MetaCart
  • Actions and Movements  
  • by David Israel, John Perry, Syun Tutiya — 1991
  • Actions and Movements David Israel Artificial Intelligence Center SRI International John Perry…
  • Cited by 16 (0 self)Add To MetaCart
  • On Action Algebras  
  • by Dexter Kozen — 1993 — Logic and Information Flow
  • …On Action Algebras Dexter Kozen y Computer Science Department University of Aarhus DK-8000…
  • Cited by 8 (1 self)Add To MetaCart
  • Action Structures  
  • by Robin Milner — 1992
  • Action Structures Robin Milner Laboratory for Foundations of Computer Science, Computer Science…
  • Cited by 34 (1 self)Add To MetaCart
  • Atomic Actions  
  • by Gérard Boudol — 1989
  • …Atomic Actions (Note) G'erard Boudol INRIA Sophia-Antipolis 06560-VALBONNE FRANCE Abstract We…
  • Cited by 5 (0 self)Add To MetaCart
  • Reasoning with Actions  
  • by S. B. Lassen — Dept. of Computer Science, Univ. of Aarhus
  • …Reasoning with Actions S. B. Lassen BRICS , University of Aarhus email: thales…
  • Cited by 2 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB