Fundamenta Informaticae - Tom Vol. 66, nr 4 (2005) - BazTech - Yadda

Powiadomienia systemowe

Sesja wygasła!

Tom - szczegóły

Tytuł artykułu

Vol. 66, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2005

Identyfikatory

Zawartość wolumenu

Vol. 66, nr 4
- artykuł: Point-free Program Transformation (Cunha A., Pinto J. S.), s. 315-352
- artykuł: Proof Methods for Corecursive Programs (Gibbons J., Hutton G.), s. 353--366
- artykuł: A Method for Automatic Program Inversion Based on LR(0) Parsing (Glück R., Kawabe M.), s. 367--395
- artykuł: There and Back Again (Danvy O., Goldberg M.), s. 397--413
- artykuł: Infinite Unfolding and Transformations of Nondeterministic Programs (Lisper B.), s. 415--439

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.