3771 search results - page 30 / 755 » Subobject Transformation Systems |
LCTRTS
2001
Springer
13 years 12 months ago
2001
Springer
Ñ ×Ý×Ø Ñ× Ö ÕÙ Ö Ñ Ü ÑÙÑ Ô Ö ÓÖÑ Ò ÖÓÑ ÔÖÓ ××ÓÖ Û Ø Ò × Ò ¬ ÒØ ÓÒ×ØÖ ÒØ× Ò ÔÓÛ Ö ÓÒ×ÙÑÔ¹ Ø ÓÒ Ò Ô Ó×غ Í× Ò...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
ISSAC
1990
Springer
13 years 11 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
DAGSTUHL
2008
13 years 8 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...