MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Fundamentals of Computation Theory" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

ATOM

Teaching Fundamentals of Computing Theory: A Constructivist Approach
by Carlos Iván Chesñevar, Ana Gabriela Maguitman, María Paula González, María Laura Cobo — Journal of Computer Science and Technology, special issue on Computer Science Education (submitted
…Teaching Fundamentals of Computing Theory: A Constructivist Approach Carlos Iván Chesñevar…
Cited by 1 (0 self) – Add To MetaCart

Computation and specification models. A comparative study
by Egon Börger — 2002 — Department of Computer Science at University of Aarhus
… conceptual framework for teaching the fundamentals of computation theory. 1 Introduction The presentation…
Cited by 3 (2 self) – Add To MetaCart

A curriculum framework for evolving an information technology program
by Kenneth L. Alford, Curtis A. Carver, Eugene K. Ressler, Charles W. Reynolds — 2004 — 34 th ASEE/IEEE Frontiers in Education Conference. Oct 20-23, 2004
… engineering fundamentals, computer science fundamentals, computer theory, information systems engineering…
Add To MetaCart

A New Understanding of Greed
by Prasad Ram — 1993
… Algorithms." In ed. F. G'ecseg, editor, Fundamentals of Computation Theory (LNCS # 117), pp. 205…
Cited by 1 (0 self) – Add To MetaCart

Theory, 1998. [BB, p.90] A. Blum and C. Burch. On-line learning and the metrical task system. In
by Proc Th Annu, P. D. Helmbold, R. E. Schapire, Y. Singer
… linear regression. In 12th International Symposium on Fundamentals of Computation Theory (FCT '99), pages…
Add To MetaCart

The Case for More Digital Logic in Computer Architecture
by Mark Hoffman Department, Mark E. Hoffman
… be included in Computer Architecture, not Discrete Systems. Digital logic is fundamental theory necessary…
Add To MetaCart

REFERENCES 2 [OO93] Michio Oyamaguchi and Yoshikatsu Ohta. On the con uent property of right-ground term rewriting systems.
by Trans Ieice, Oo Michio Oyamaguchi, To Yoshihito Toyama, Michio Oyamaguchi Church-rosser Property, Systems In Nachum Dershowitz, N. Lindenstrauss
…. In Symp. on Fundamentals of Computation Theory, volume 1279 of Lecture Notes in Computer Science, pages…
Add To MetaCart

Course Materials
by Llpy Fredrik Larsson, Kim G. Larsen, Paul Pettersson, Wang Yi, Efficient Verification — 1997
…. Model-Checking for Real-Time Systems. In Proc. of Fundamentals of Computation Theory, volume 965…
Add To MetaCart

II. APPLICATIONS OF THE EQUATIONAL LOGIC OF FIXED POINTS
by unknown authors
… Theory (Szeged, 2003, co-chairman), Fundamentals of Computation Theory (Malm"o, 2003). Fixed Points…
Add To MetaCart

Annual Report 1997 of the Professorship "Foundations of Programming"
by Heiko Vogler, Fakultat Informatik, Fakultat Informatik — 1997
… and L. Czaja, editors, Fundamentals of Computation Theory -- FCT'97, 11th International Symposium, Krak…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB