3771 search results - page 30 / 755 » Subobject Transformation Systems |
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
Ñ ×Ý×Ø Ñ× Ö ÕÙ Ö Ñ Ü ÑÙÑ Ô Ö ÓÖÑ Ò ÖÓÑ ÔÖÓ ××ÓÖ Û Ø Ò × Ò ¬ ÒØ ÓÒ×ØÖ ÒØ× Ò ÔÓÛ Ö ÓÒ×ÙÑÔ¹ Ø ÓÒ Ò Ô Ó×غ Í× Ò...
CASES
2008
ACM
15 years 1 months ago
2008
ACM
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
ISSAC
1990
Springer
15 years 3 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
15 years 1 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...