3771 search results - page 30 / 755 » Subobject Transformation Systems |
126
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Ñ ×Ý×Ø Ñ× Ö ÕÙ Ö Ñ Ü ÑÙÑ Ô Ö ÓÖÑ Ò ÖÓÑ ÔÖÓ ××ÓÖ Û Ø Ò × Ò ¬ ÒØ ÓÒ×ØÖ ÒØ× Ò ÔÓÛ Ö ÓÒ×ÙÑÔ¹ Ø ÓÒ Ò Ô Ó×غ Í× Ò...
HASE
2007
IEEE
16 years 6 days ago
2007
IEEE
108
click to vote
ISSAC
1990
Springer
15 years 10 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 ...
158
click to vote
DAGSTUHL
2008
15 years 7 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...