External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

FasTraC: A Decentralized Traffic Control System Based on Logic Programming

Giovanni Felici, Giovanni Rinaldi, Klaus Truemper. FasTraC: A Decentralized Traffic Control System Based on Logic Programming. In Michael A. McRobbie, John K. Slaney, editors, Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Volume 1104 of Lecture Notes in Computer Science, pages 216-220, Springer, 1996.

Authors

Giovanni Felici

This author has not been identified. Look up 'Giovanni Felici' in Google

Giovanni Rinaldi

This author has not been identified. Look up 'Giovanni Rinaldi' in Google

Klaus Truemper

This author has not been identified. Look up 'Klaus Truemper' in Google
runs on