:facetid:toc:\"db/conf/icalp/icalp74.bht\"OK:facetid:toc:db/conf/icalp/icalp74.bhtJacques J. ArsacLangages sans Etiquettes et Transformations de Programmes.ICALP112-1281974Conference and Workshop Papersclosedconf/icalp/Arsac7410.1007/3-540-06841-4_55https://doi.org/10.1007/3-540-06841-4_55https://dblp.org/rec/conf/icalp/Arsac74URL#7132680Giorgio AusielloRelations between Semantics and Complexity of Recursive Programs.ICALP129-1401974Conference and Workshop Papersclosedconf/icalp/Ausiello7410.1007/3-540-06841-4_56https://doi.org/10.1007/3-540-06841-4_56https://dblp.org/rec/conf/icalp/Ausiello74URL#7132681Jean BerstelLuc BoassonUne suite decroissante de cônes rationnels.ICALP383-3971974Conference and Workshop Papersclosedconf/icalp/BerstelB7410.1007/3-540-06841-4_76https://doi.org/10.1007/3-540-06841-4_76https://dblp.org/rec/conf/icalp/BerstelB74URL#7132682Eberhard BertschA Decidability Result for Sequential Grammars.ICALP577-5831974Conference and Workshop Papersclosedconf/icalp/Bertsch7410.1007/3-540-06841-4_91https://doi.org/10.1007/3-540-06841-4_91https://dblp.org/rec/conf/icalp/Bertsch74URL#7132683Meera BlattnerTransductions of Context-Free Languages into Sets of Sentential Forms.ICALP511-5221974Conference and Workshop Papersclosedconf/icalp/Blattner7410.1007/3-540-06841-4_86https://doi.org/10.1007/3-540-06841-4_86https://dblp.org/rec/conf/icalp/Blattner74URL#7132684Corrado BöhmMariangiola Dezani-CiancagliniCombinatorial Problems, Combinator Equations and Normal Forms.ICALP185-1991974Conference and Workshop Papersclosedconf/icalp/BohmD7410.1007/3-540-06841-4_60https://doi.org/10.1007/3-540-06841-4_60https://dblp.org/rec/conf/icalp/BohmD74URL#7132685Ronald V. BookOn the Structure of Complexity Classes.ICALP437-4451974Conference and Workshop Papersclosedconf/icalp/Book7410.1007/3-540-06841-4_80https://doi.org/10.1007/3-540-06841-4_80https://dblp.org/rec/conf/icalp/Book74URL#7132686Yves CésariSur l'application du theoreme de Suschkewitsch a l'etude des codes rationnets complets.ICALP342-3501974Conference and Workshop Papersclosedconf/icalp/Cesari7410.1007/3-540-06841-4_73https://doi.org/10.1007/3-540-06841-4_73https://dblp.org/rec/conf/icalp/Cesari74URL#7132687Ashok K. ChandraGeneralized Program Schemas.ICALP562-5761974Conference and Workshop Papersclosedconf/icalp/Chandra7410.1007/3-540-06841-4_90https://doi.org/10.1007/3-540-06841-4_90https://dblp.org/rec/conf/icalp/Chandra74URL#7132688Bruno CourcelleGilles KahnJean VuilleminAlgorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.ICALP200-2131974Conference and Workshop Papersclosedconf/icalp/CourcelleKV7410.1007/3-540-06841-4_61https://doi.org/10.1007/3-540-06841-4_61https://dblp.org/rec/conf/icalp/CourcelleKV74URL#7132689Armin B. CremersSeymour GinsburgContext-Free Grammar Forms.ICALP364-3821974Conference and Workshop Papersclosedconf/icalp/CremersG7410.1007/3-540-06841-4_75https://doi.org/10.1007/3-540-06841-4_75https://dblp.org/rec/conf/icalp/CremersG74URL#7132690Karel Culík IIT. S. E. MaibaumParallel Rewriting Systems on terms.ICALP495-5101974Conference and Workshop Papersclosedconf/icalp/CulikM7410.1007/3-540-06841-4_85https://doi.org/10.1007/3-540-06841-4_85https://dblp.org/rec/conf/icalp/CulikM74URL#7132691Mariangiola Dezani-CiancagliniMaddalena ZacchiApplication of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.ICALP170-1841974Conference and Workshop Papersclosedconf/icalp/Dezani-CiancagliniZ7410.1007/3-540-06841-4_59https://doi.org/10.1007/3-540-06841-4_59https://dblp.org/rec/conf/icalp/Dezani-CiancagliniZ74URL#7132692Werner DilgerPeter RaulefsMonadic Program Schemes Under Restricted Classes of Free Interpretations.ICALP547-5611974Conference and Workshop Papersclosedconf/icalp/DilgerR7410.1007/3-540-06841-4_89https://doi.org/10.1007/3-540-06841-4_89https://dblp.org/rec/conf/icalp/DilgerR74URL#7132693Andrzej EhrenfeuchtGrzegorz RozenbergTrade-off between the Use of Nonterminals, Codings and Homomorphisms in Defining Languages for Some Classes of Rewriting Systems.ICALP473-4801974Conference and Workshop Papersclosedconf/icalp/EhrenfeuchtR7410.1007/3-540-06841-4_83https://doi.org/10.1007/3-540-06841-4_83https://dblp.org/rec/conf/icalp/EhrenfeuchtR74URL#7132694Patrick C. FischerFurther Schemes for Combining Matrix Algorithms.ICALP428-4361974Conference and Workshop Papersclosedconf/icalp/Fischer7410.1007/3-540-06841-4_79https://doi.org/10.1007/3-540-06841-4_79https://dblp.org/rec/conf/icalp/Fischer74URL#7132695Patrick C. FischerRobert L. ProbertEfficient Procedures for Using Matrix Algorithms.ICALP413-4271974Conference and Workshop Papersclosedconf/icalp/FischerP7410.1007/3-540-06841-4_78https://doi.org/10.1007/3-540-06841-4_78https://dblp.org/rec/conf/icalp/FischerP74URL#7132696Philippe FlajoletJean-Marc SteyaertOn Sets Having Only Hard Subsets.ICALP446-4571974Conference and Workshop Papersclosedconf/icalp/FlajoletS7410.1007/3-540-06841-4_81https://doi.org/10.1007/3-540-06841-4_81https://dblp.org/rec/conf/icalp/FlajoletS74URL#7132697Max FontetUn resultat en theorie des groupes de permutations et son application au calcul effectif du groupe d'automorphismes d'un automate fini.ICALP335-3411974Conference and Workshop Papersclosedconf/icalp/Fontet7410.1007/3-540-06841-4_72https://doi.org/10.1007/3-540-06841-4_72https://dblp.org/rec/conf/icalp/Fontet74URL#7132698Ferenc GécsegComposition of Automata.ICALP351-3631974Conference and Workshop Papersclosedconf/icalp/Gecseg7410.1007/3-540-06841-4_74https://doi.org/10.1007/3-540-06841-4_74https://dblp.org/rec/conf/icalp/Gecseg74URL#7132699Matthew M. GellerSusan L. GrahamMichael A. HarrisonProduction Prefix Parsing (Extended Abstract).ICALP232-2411974Conference and Workshop Papersclosedconf/icalp/GellerGH7410.1007/3-540-06841-4_63https://doi.org/10.1007/3-540-06841-4_63https://dblp.org/rec/conf/icalp/GellerGH74URL#7132700Juris HartmanisTheodore P. BakerOn Simple Goedel Numberings and Translations.ICALP301-3161974Conference and Workshop Papersclosedconf/icalp/HartmanisB7410.1007/3-540-06841-4_69https://doi.org/10.1007/3-540-06841-4_69https://dblp.org/rec/conf/icalp/HartmanisB74URL#7132701Patrick J. HayesSimple and Structural Redundancy in Non-Deterministic Computation.ICALP601-6111974Conference and Workshop Papersclosedconf/icalp/Hayes7410.1007/3-540-06841-4_93https://doi.org/10.1007/3-540-06841-4_93https://dblp.org/rec/conf/icalp/Hayes74URL#7132702Günter HotzKomplexitätsmaße für Ausdrücke.ICALP398-4121974Conference and Workshop Papersclosedconf/icalp/Hotz7410.1007/3-540-06841-4_77https://doi.org/10.1007/3-540-06841-4_77https://dblp.org/rec/conf/icalp/Hotz74URL#7132703Peter KandziaOn the Most Recent Property of Algol-Like Programs.ICALP97-1111974Conference and Workshop Papersclosedconf/icalp/Kandzia7410.1007/3-540-06841-4_54https://doi.org/10.1007/3-540-06841-4_54https://dblp.org/rec/conf/icalp/Kandzia74URL#7132704Rainer KempMehrdeutigkeiten Kontextfreier Grammatiken.ICALP534-5461974Conference and Workshop Papersclosedconf/icalp/Kemp7410.1007/3-540-06841-4_88https://doi.org/10.1007/3-540-06841-4_88https://dblp.org/rec/conf/icalp/Kemp74URL#7132705Antoni KreczmarEffectivity Problems of Algorithmic Logic.ICALP584-6001974Conference and Workshop Papersclosedconf/icalp/Kreczmar7410.1007/3-540-06841-4_92https://doi.org/10.1007/3-540-06841-4_92https://dblp.org/rec/conf/icalp/Kreczmar74URL#7132706Bernard LangDeterministic Techniques for Efficient Non-Deterministic Parsers.ICALP255-2691974Conference and Workshop Papersclosedconf/icalp/Lang7410.1007/3-540-06841-4_65https://doi.org/10.1007/3-540-06841-4_65https://dblp.org/rec/conf/icalp/Lang74URL#7132707Jan van LeeuwenA Generalisation of Parikh's Theorem in Formal Language Theory.ICALP17-261974Conference and Workshop Papersclosedconf/icalp/Leeuwen7410.1007/3-540-06841-4_49https://doi.org/10.1007/3-540-06841-4_49https://dblp.org/rec/conf/icalp/Leeuwen74URL#7132708Witold Lipski Jr.V. Wiktor MarekFile Organization, An Application of Graph Theory.ICALP270-2791974Conference and Workshop Papersclosedconf/icalp/LipskiM7410.1007/3-540-06841-4_66https://doi.org/10.1007/3-540-06841-4_66https://dblp.org/rec/conf/icalp/LipskiM74URL#7132709David B. LometAutomatic Generation of Multiple Exit Parsing Subroutines.ICALP214-2311974Conference and Workshop Papersclosedconf/icalp/Lomet7410.1007/3-540-06841-4_62https://doi.org/10.1007/3-540-06841-4_62https://dblp.org/rec/conf/icalp/Lomet74URL#7132710Alberto MartelliUgo MontanariDynamic Programming Schemata.ICALP66-801974Conference and Workshop Papersclosedconf/icalp/MartelliM7410.1007/3-540-06841-4_52https://doi.org/10.1007/3-540-06841-4_52https://dblp.org/rec/conf/icalp/MartelliM74URL#7132711Kurt MehlhornThe "Almost All" Theory of Subrecursive Degrees is Decidable.ICALP317-3251974Conference and Workshop Papersclosedconf/icalp/Mehlhorn7410.1007/3-540-06841-4_70https://doi.org/10.1007/3-540-06841-4_70https://dblp.org/rec/conf/icalp/Mehlhorn74URL#7132712Giorgio De MichelisCarla SimoneSemantic Characterization of Flow Diagrams and Their Decomposability.ICALP81-961974Conference and Workshop Papersclosedconf/icalp/MichelisS7410.1007/3-540-06841-4_53https://doi.org/10.1007/3-540-06841-4_53https://dblp.org/rec/conf/icalp/MichelisS74URL#7132713Burkhard MonienCharacterizations of Time-Bounded Computations by Limited Primitive Recursion.ICALP280-2931974Conference and Workshop Papersclosedconf/icalp/Monien7410.1007/3-540-06841-4_67https://doi.org/10.1007/3-540-06841-4_67https://dblp.org/rec/conf/icalp/Monien74URL#7132714Miroslav NovotnýOperators Reducing Generalized OL-Systems.ICALP481-4941974Conference and Workshop Papersclosedconf/icalp/Novotny7410.1007/3-540-06841-4_84https://doi.org/10.1007/3-540-06841-4_84https://dblp.org/rec/conf/icalp/Novotny74URL#7132715Giuliano PaciniCarlo MontangeroFranco TuriniGraph Representation and Computation Rules for Typeless Recursive Languages.ICALP157-1691974Conference and Workshop Papersclosedconf/icalp/PaciniMT7410.1007/3-540-06841-4_58https://doi.org/10.1007/3-540-06841-4_58https://dblp.org/rec/conf/icalp/PaciniMT74URL#7132716David PagerOn Eliminating Unit Productions from LR(k) Parsers.ICALP242-2541974Conference and Workshop Papersclosedconf/icalp/Pager7410.1007/3-540-06841-4_64https://doi.org/10.1007/3-540-06841-4_64https://dblp.org/rec/conf/icalp/Pager74URL#7132717John C. ReynoldsOn the Relation between Direct and Continuation Semantics.ICALP141-1561974Conference and Workshop Papersclosedconf/icalp/Reynolds7410.1007/3-540-06841-4_57https://doi.org/10.1007/3-540-06841-4_57https://dblp.org/rec/conf/icalp/Reynolds74URL#7132718Willem P. de RoeverRecursion and Parameter Mechanisms: An Axiomatic Approach.ICALP34-651974Conference and Workshop Papersclosedconf/icalp/Roever7410.1007/3-540-06841-4_51https://doi.org/10.1007/3-540-06841-4_51https://dblp.org/rec/conf/icalp/Roever74URL#7132719Arto SalomaaParallelism in Rewriting Systems.ICALP523-5331974Conference and Workshop Papersclosedconf/icalp/Salomaa7410.1007/3-540-06841-4_87https://doi.org/10.1007/3-540-06841-4_87https://dblp.org/rec/conf/icalp/Salomaa74URL#7132720Claus-Peter SchnorrOn Maximal Merging of Information in Boolean Computations.ICALP294-3001974Conference and Workshop Papersclosedconf/icalp/Schnorr7410.1007/3-540-06841-4_68https://doi.org/10.1007/3-540-06841-4_68https://dblp.org/rec/conf/icalp/Schnorr74URL#7132721Marcel Paul SchützenbergerSur une propriete syntactique des relations rationnelles.ICALP612-6191974Conference and Workshop Papersclosedconf/icalp/Schutzenberger7410.1007/3-540-06841-4_94https://doi.org/10.1007/3-540-06841-4_94https://dblp.org/rec/conf/icalp/Schutzenberger74URL#7132722Eli Shamir 0001Catriel BeeriChecking Stacks and Context-Free Programmed Grammars Accept p-complete Languages.ICALP27-331974Conference and Workshop Papersclosedconf/icalp/ShamirB7410.1007/3-540-06841-4_50https://doi.org/10.1007/3-540-06841-4_50https://dblp.org/rec/conf/icalp/ShamirB74URL#7132723Reinhold WeickerTuring Machines with Associative Memory Access.ICALP458-4721974Conference and Workshop Papersclosedconf/icalp/Weicker7410.1007/3-540-06841-4_82https://doi.org/10.1007/3-540-06841-4_82https://dblp.org/rec/conf/icalp/Weicker74URL#7132724Klaus WeihrauchThe Compuational Complexity of Program Schemata.ICALP326-3341974Conference and Workshop Papersclosedconf/icalp/Weihrauch7410.1007/3-540-06841-4_71https://doi.org/10.1007/3-540-06841-4_71https://dblp.org/rec/conf/icalp/Weihrauch74URL#7132725Adriaan van WijngaardenThe Generative Power of Two-Level Grammars.ICALP9-161974Conference and Workshop Papersclosedconf/icalp/Wijngaarden7410.1007/3-540-06841-4_48https://doi.org/10.1007/3-540-06841-4_48https://dblp.org/rec/conf/icalp/Wijngaarden74URL#7132726Jacques LoeckxAutomata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, ProceedingsICALPLecture Notes in Computer Science14Springer1974Editorshipconf/icalp/197410.1007/3-540-06841-4https://doi.org/10.1007/3-540-06841-4https://dblp.org/rec/conf/icalp/1974URL#7133675