Experiments with implementations of two theoretical constructions

Authors:
T. A. Hansen;T. Nikolajsen;J. L. Träff;N. D. Jones
Affiliations:
-;-;-;-
Venue:
Logic at Botik'89 Symposium on logical foundations of computer science
Year:
1989

Citing 0
Cited 3

Constant time factors do matter

STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
A Classification of Viruses Through Recursion Theorems

CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Properties complementary to program self-reference

MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract