MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Andrzej Tarlecki – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 46 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Towards Heterogeneous Specifications  
  • by Andrzej Tarlecki — 1998 — In Frontiers of Combining Systems FroCoS'98, Applied Logic Series
  • …Towards Heterogeneous Specifications Andrzej Tarlecki Institute of Informatics, Warsaw University…
  • Cited by 22 (1 self) – Add To MetaCart
  • Combining and Representing Logical Systems  
  • by Till Mossakowski Andrzej, Andrzej Tarlecki — 1997
  • …Combining and Representing Logical Systems Till Mossakowski 1 , Andrzej Tarlecki 2 and Wies…
  • Add To MetaCart
  • Some Thoughts on Algebraic Specification  
  • by Donald Sannella, Andrzej Tarlecki — 1984 — Proc. 3rd Workshop on Theory and Applications of Abstract Data Types
  • …Some thoughts on algebraic specification 1;2 Donald Sannella and Andrzej Tarlecki 3 Department…
  • Cited by 2 (1 self) – Add To MetaCart
  • unknown title  
  • by Donald Sannella, Andrzej Tarlecki
  • … and Andrzej Tarlecki 2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Institute…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB