Results for:
"
Marcin+Zaleski
" in Documents
- This document in subdirectory DS/00/7/ Games for Verification Algorith...
- Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Di...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Reasoning with First Order Nondeterministic Specifications 0
- The paper presents a variant of first order logic for specifying nondeterministic software. Models of the logics are multialgebras, i.e. multi-sorted algebras with set-valued operations, together with...
-
Rating:
Views: (1014)
Pages: ()
Uploaded: 13-05-09
- Reasoning with First Order Nondeterministic Specifications 0
- The paper presents a variant of first order logic for specifying nondeterministic software. Models of the logics are multialgebras, i.e. multi-sorted algebras with set-valued operations, together with...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 15-05-09
- About the need for research on the Polish herbal by Marcin of Urzedó...
- Opinions about the value and significance of the Polish Herbal by Marcin of Urzedów (Cracow, 1595) differ. Some historians claim that this book was progressive in relation to the previously published...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2002-1-5
- ATT at TREC-9 2000
- This year we come to TREC with a new retrieval system Tivra that we have implemented over the last year. Tivra is based on the vector space model, and is mainly designed to do large-scale web search w...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 15-05-09
- ATT at TREC-9 2000
- This year we come to TREC with a new retrieval system Tivra that we have implemented over the last year. Tivra is based on the vector space model, and is mainly designed to do large-scale web search w...
-
Rating:
Views: (1003)
Pages: ()
Uploaded: 13-05-09
- This document in subdirectoryRS/99/1/ Hereditary History Preserving Si...
- Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Re...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- TAM 97 the Trace Assertion Method of Module Interface Specification Re...
- A software module may be described precisely and completely by a set of related documents: interface specification of the module providing a "black-box" description of its behavior, internal design of...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09