You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
467-477
Original Article
Regular autodense languages
Chen-Ming Fan, C. C. Huang and H. J. Shyr
479-536
A type safe state abstraction for coordination in Java -like languages
Ferruccio Damiani, Elena Giachino, Paola Giannini and Sophia Drossopoulou
537-564
Original article
M-nets: a survey
Hanna Klaudel and Franck Pommereau
565-591
Charting the completeness frontier of inference systems for multivalued dependencies
Sebastian Link
593-608
Scattered context grammars that erase nonterminals in a generalized k -limited way
Alexander Meduna and Jiří Techet
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info