12741 search results - page 302 / 2549 » Editorial and call for papers |
153
click to vote
FPCA
1993
15 years 11 months ago
1993
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
202
click to vote
HOA
1993
15 years 11 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
149
Voted
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
167
click to vote
SIGSOFT
1993
ACM
15 years 11 months ago
1993
ACM
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
166
click to vote
ISSAC
1992
Springer
15 years 11 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...