@techreport{1994-Proper-SQ, author = "{Proper}, H.A. (Erik)", title = "{Interactive Query Formulation using Spider Queries}", institution = "Asymetrix Research Laboratory, University of Queensland", address = "Brisbane, Queensland, Australia", year = "1994", research_group = "iris", class = "Report" } @techreport{1994-group-FunmathParser, author = "{group}, ITT", title = "{Documentatie bij Funmath Parser}", number = "CSI--N9401", month = "December", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-N9401", research_group = "icis", class = "Report" } @techreport{1994-vanBakel-StrongNormalization, author = "{van Bakel}, S. and {Fern{\"{\i}}{?'}˝ndez}, M.", title = "{Strong Normalization of Typeable Rewrite Systems}", number = "CSI--R9402", month = "January", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9402", research_group = "icis", class = "Report" } @techreport{1994-Sarbo-ApplicationsConcept, author = "{Sarbo}, J.J. and {Farkas}, J.I.", title = "{Concept Sublattices {\"{\i}}{?'}˝ Theory and Applications}", number = "CSI--R9404", month = "March", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9404", research_group = "icis", class = "Report" } @techreport{1994-Barendregt-ComputableProcesses, author = "{Barendregt}, H. and {Wupper}, H. and {Mulder}, H.", title = "{Computable processes}", number = "CSI--R9405", month = "May", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "CSI-R9405 icis.CSI-R9405", research_group = "icis", class = "Report" } @techreport{1994-terHofstede-FlexibleWorth, author = "{ter Hofstede}, A.H.M. and {Verhoef}, T.F.", title = "{Flexible Support of Information Modelling: Is the Game worth the Candle?}", number = "CSI--R9406", month = "May", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9406", research_group = "icis", class = "Report" } @techreport{1994-Oei-Harmonie, author = "{Oei}, J.L.H. and {Falkenberg}, E.D.", title = "{Harmonization of Information Systems Modelling and Specification Techniques}", number = "CSI--R9407", institution = "Technical University Twente, The Netherlands", year = "1994", research_group = "iris", class = "Report" } @techreport{1994-Nederhof-SentencesGeneration, author = "{Nederhof}, M.--J.", title = "{Efficient generation of random sentences}", number = "CSI--R9408", month = "August", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9408", research_group = "icis", class = "Report" } @techreport{1994-Nederhof-DeterministicRecognition, author = "{Nederhof}, M.--J. and {Bertsch}, E.", title = "{Linear--time suffix recognition for deterministic languages}", number = "CSI--R9409", month = "August", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9409", research_group = "icis", class = "Report" } @techreport{1994-MaxGeerling-SkeletonsformalTransformations, author = "{Max Geerling}, A.", title = "{Program transformations and skeletons:formal derivation of parallel programs}", number = "CSI--R9411", month = "October", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9411", research_group = "icis", class = "Report" } @techreport{1994-Barendsen-StructuresSimple, author = "{Barendsen}, E. and {Bezem}, M.", title = "{Polymorphic Extensions of Simple Type Structures}", number = "CSI--R9412", month = "October", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1994", code = "icis.CSI-R9412", research_group = "icis", class = "Report" }