Department of Informatics (Nijmegen)

' Generalized expression' evaluation / Erik Meijerschema:ProductModel A conceptual framework for evolving information systems / E.D. Falkenberg, J.H.L. Oei, H.A. Properschema:ProductModel A conceptual language for the description and manipulation of complex information models / A.H.M. ter Hofstede, H.A. Proper, Th.P. van der Weideschema:ProductModel A correctness proof of a distributed minimum-weight spanning tree algorithm / F.A. Stomp, W.P. de Roeverschema:ProductModel A formal derivation of Boyer and Moore's pattern matching algorithm / H. Partsch, F.A. Stompschema:ProductModel A formal mechanism for determining redundancy and irrelevance in Hyptertext views / P.D. Bruzaschema:ProductModel A formal power series equation from formula complexity theory / D.C. Leijenhorstschema:ProductModel A formalization of sequentially phased intuition in network protocols (extended abstract) / F.A. Stomp, W.P. de Roeverschema:ProductModel A framework for comparing conceptual modelling languages / T.A. Halpin and J.L.H. Oeischema:ProductModel A general theory for the evolution of application domains / H.A. Proper and Th.P. van der Weideschema:ProductModel A lexical component for AGFL parsers / Ben H. Valkschema:ProductModel A Meta Model Hierarchy : a framework for information systems concepts and techniques / J.L.H. Oei ... [et al.]schema:ProductModel A new algorith for contour-plotting / Sjaak Brinkkemper, Harrie Hendriksschema:ProductModel A note on schema equivalence / A.H.M. ter Hofstede and H.A. Proper and Th.P. van der Weideschema:ProductModel A programming environment for secondary schools / C.H.A. Koster, Th.P. van der Weideschema:ProductModel A randomised schema mutator for evolutionary database optimisation / P. van Bommelschema:ProductModel A simple language with static typing of hard real-time constraints / Hanno Wupper, Jan Vytopil, Martin Wieczorekschema:ProductModel A simplified token bus protocol specified using LOTOS / Luc Rooijakkers and Mieke Massinkschema:ProductModel A transaction model for Hypertext / P.L. van der Spiegel ... [et al.]schema:ProductModel Affix grammars for natural languages / C.H.A. Kosterschema:ProductModel ... show all 100

Computing Science Institute (Nijmegen)schema:Organization Research Institute for Declarative Systems (Nijmegen)schema:Organization

Report / Informatics Departmentschema:ProductModel

Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informaticaschema:Organization