43 search results - page 4 / 9 » ac 2000 |
ACS
2004
13 years 6 months ago
2004
One of the best ways of studying ordered algebraic structures is through their spectra. The three well-known spectra usually considered are the Brumfiel, Keimel, and the maximal sp...
ACS
2004
13 years 6 months ago
2004
Threshold agent networks (TANs) constitute a discretized modification of threshold (also known as neural) networks that are appropriate for modeling computer simulations. In this p...
ICFP
2000
ACM
13 years 10 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
CORR
2000
Springer
13 years 6 months ago
2000
Springer
Appeared in: Dekker (Ed.) Proceedings of the 12th Amsterdam Colloquium (AC'99). Institute for Logic, Language and Computation, 1999, pages 43
AC
2000
Springer
13 years 10 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...