MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Foundations of Software Science and Computational Structures" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 24 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Model Checking Branching Time Logics  
  • by Ph. Schnoebelen
  • …. Foundations of Software Science and Computation Structures (FOSSACS 2001), Genova, Italy, Apr. 2001, volume…
  • Add To MetaCart
  • data structure (abstract of invited lecture). In Fritz Henglein,  
  • by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
  • …. Engberg, editors, Foundations of Software Science and Computation Structures, volume 2303 of Lecture Notes…
  • Add To MetaCart
  • BRICS Research Series, 1998.  
  • by Brics, Mogens Nielsen, Christian N. S. Pedersen, Rune B. Lyngs, Jotun Hein Comparison — 1999
  • …. 14 pp. Appears in Nivat, editor, Foundations of Software Science and Computation Structures: First…
  • Add To MetaCart
  • Forgetting and Restarting Automata  
  • by Frantisek Mraz, Marcus In, S. Bozapalidis, Developments In Language — 2001
  • … Science and Computation Structures, Proceedings FoSSaCS'98, volume 1378 of LNCS, pages 243-257, Berlin…
  • Add To MetaCart
  • Attended Summer Schools  
  • by Grundschule Oberhaching (primary School — 2000
  • … datatypes. In A. Gordon, editor, Foundations of Software Science and Computation Structures (FoSSaCS 2003…
  • Add To MetaCart
  • MSC: A Bibliography  
  • by Andre Engels, Wsr A. Wolisz, I. Schieferdecker, A. Rennoch, Domain In J. Bezivin, B. Meyer — 2001
  • … International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'98), number 1378…
  • Add To MetaCart
  • Annual Report 1998: Foundations of Programming  
  • by Heiko Vogler, January Heiko Vogler, Fakultat Informatik, Fakultat Informatik, Ffl Christine Honnicke — 1998
  • … conference "Foundations of Software Science and Computation Structures -- FOSSACS '99" Annual Report 1998 17…
  • Add To MetaCart
  • Printed by AlfapressPreface  
  • by Ttü Küberneetika Instituut, Edited Tarmo Uustalu, Jüri Vain, Juhan Ernits — 2008
  • … on Foundations of Software Science and Computational Structures (FOSSACS 2007), volume 4423 of LNCS, pages 93…
  • Add To MetaCart
  • 166 Bibliography  
  • by Joshua James Berdine
  • … of Software Science and Computation Structures, FoSSaCS, 2003. [Lan65] Peter J. Landin. A generalization…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB