DATALOG SIRUPs uniform boundedness is undecidable.

Details

Language :

English

ISBNs :

9780818674631

Database :

Complementary Index

Journal :

Proceedings 11th Annual IEEE Symposium on Logic in Computer Science

Publication Type :

Conference

Accession number :

92211983

Full Text :

https://doi.org/10.1109/LICS.1996.561299