© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Reducing Scheduling Overheads for Concurrent Logic Programs
A. King and P. Soper
In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge, number 567 in Lecture Notes in Artificial Intelligence, pages 182-196. Springer-Verlag, July 1991.Bibtex Record
@inproceedings{1331, author = {A.~King and P.~Soper}, title = {Reducing {S}cheduling {O}verheads for {C}oncurrent {L}ogic {P}rograms}, month = {July}, year = {1991}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1991/1331}, publication_type = {inproceedings}, submission_id = {12914_1011690866}, other_year = {1991}, booktitle = {Processing Declarative Knowledge}, editor = {H. Boley and M. M. Richter}, number = {567}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer-Verlag}, refereed = {yes}, }