AAAAAA

   
Results: 1-13 |
Results: 13
A CONSERVATIVE LOOK AT OPERATIONAL SEMANTICS WITH VARIABLE BINDING
Authors: FOKKINK W VERHOEF C
Citation: W. Fokkink et C. Verhoef, A CONSERVATIVE LOOK AT OPERATIONAL SEMANTICS WITH VARIABLE BINDING, Information and computation (Print), 146(1), 1998, pp. 24-54
ON A QUESTION OF SALOMAA,A. - THE EQUATIONAL THEORY OF REGULAR EXPRESSIONS OVER A SINGLETON ALPHABET IS NOT FINITELY BASED
Authors: ACETO L FOKKINK W INGOLFSDOTTIR A
Citation: L. Aceto et al., ON A QUESTION OF SALOMAA,A. - THE EQUATIONAL THEORY OF REGULAR EXPRESSIONS OVER A SINGLETON ALPHABET IS NOT FINITELY BASED, Theoretical computer science, 209(1-2), 1998, pp. 163-178
WITHIN ARMS REACH - COMPILATION OF LEFT-LINEAR REWRITE SYSTEMS VIA MINIMAL REWRITE SYSTEMS
Authors: FOKKINK W KAMPERMAN J WALTERS P
Citation: W. Fokkink et al., WITHIN ARMS REACH - COMPILATION OF LEFT-LINEAR REWRITE SYSTEMS VIA MINIMAL REWRITE SYSTEMS, ACM transactions on programming languages and systems, 20(3), 1998, pp. 679-706
AN EQUATIONAL AXIOMATIZATION FOR MULTI-EXIT ITERATION
Authors: ACETO L FOKKINK W
Citation: L. Aceto et W. Fokkink, AN EQUATIONAL AXIOMATIZATION FOR MULTI-EXIT ITERATION, Information and computation, 137(2), 1997, pp. 121-158
TERMINATION MODULE EQUATIONS BY ABSTRACT COMMUTATION WITH AN APPLICATION TO ITERATION
Authors: FOKKINK W ZANTEMA H
Citation: W. Fokkink et H. Zantema, TERMINATION MODULE EQUATIONS BY ABSTRACT COMMUTATION WITH AN APPLICATION TO ITERATION, Theoretical computer science, 177(2), 1997, pp. 407-423
UNIFICATION FOR INFINITE SETS OF EQUATIONS BETWEEN FINITE TERMS
Authors: FOKKINK W
Citation: W. Fokkink, UNIFICATION FOR INFINITE SETS OF EQUATIONS BETWEEN FINITE TERMS, Information processing letters, 62(4), 1997, pp. 183-188
AXIOMATIZING PREFIX ITERATION WITH SILENT STEPS
Authors: ACETO L VANGLABBEEK R FOKKINK W INGOLFSDOTTIR A
Citation: L. Aceto et al., AXIOMATIZING PREFIX ITERATION WITH SILENT STEPS, Information and computation, 127(1), 1996, pp. 26-40
NTYFT NTYXT RULES REDUCE TO NTREE RULES
Authors: FOKKINK W VANGLABBEEK R
Citation: W. Fokkink et R. Vanglabbeek, NTYFT NTYXT RULES REDUCE TO NTREE RULES, Information and computation, 126(1), 1996, pp. 1-10
AN EFFECTIVE AXIOMATIZATION FOR REAL-TIME ACP
Authors: FOKKINK W KLUSENER S
Citation: W. Fokkink et S. Klusener, AN EFFECTIVE AXIOMATIZATION FOR REAL-TIME ACP, Information and computation, 122(2), 1995, pp. 286-299
A RELATION BETWEEN PARTITIONS AND THE NUMBER OF DIVISORS
Authors: WANG ZB FOKKINK R FOKKINK W
Citation: Zb. Wang et al., A RELATION BETWEEN PARTITIONS AND THE NUMBER OF DIVISORS, The American mathematical monthly, 102(4), 1995, pp. 345-347
A COMPLETE EQUATIONAL AXIOMATIZATION FOR PREFIX ITERATION
Authors: FOKKINK W
Citation: W. Fokkink, A COMPLETE EQUATIONAL AXIOMATIZATION FOR PREFIX ITERATION, Information processing letters, 52(6), 1994, pp. 333-337
BASIC PROCESS ALGEBRA WITH ITERATION - COMPLETENESS OF ITS EQUATIONALAXIOMS
Authors: FOKKINK W ZANTEMA H
Citation: W. Fokkink et H. Zantema, BASIC PROCESS ALGEBRA WITH ITERATION - COMPLETENESS OF ITS EQUATIONALAXIOMS, Computer journal, 37(4), 1994, pp. 259-267
BASIC PROCESS ALGEBRA WITH ITERATION - COMPLETENESS OF ITS EQUATIONALAXIOMS
Authors: FOKKINK W ZANTEMA H
Citation: W. Fokkink et H. Zantema, BASIC PROCESS ALGEBRA WITH ITERATION - COMPLETENESS OF ITS EQUATIONALAXIOMS, Computer journal, 37(4), 1994, pp. 259-267
Risultati: 1-13 |