4 research outputs found
R for Semantics
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Some Techniques for Recursion Removal from Recursive Functions
- Author
- ARSAC J.
- ARSA~ J.
- AU N R
- BURSTALL R.M.
- CHAMBERLIN D.D.
- DIJKSTRA E.W.
- DIJKSTRA E.W.
- DIJKSTRA E.W.
- FEATHER M.S.
- HENOERSO~ P.
- HUE
- HUET G.
- J. Arsac
- JOUANNAUD J.-P.
- JOUA~NAUD J.-P.
- KODRATOFF Y
- KOORA OFF
- KOORATOFF Y.
- KOORATOFF Y.
- L.
- MANNA Z.
- MANNA Z.
- MOORE J.S
- PEPPER P.
- PLO KZN
- PLOTK N G
- PLOTKIN G.-D.
- REYNOLDS J.-C.
- SCOTT D.
- SLOANE N.J.
- TESLER L.G.
- WALKER S.-A.
- WEGBREIT B
- Y. Kodratoff
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
On solving equations and disequations
- Author
- AFFER J.
- Hans-Jürgen Bürckert
- Wray L. Buntine
- ~BIRKHOFF G.
- ~BORCKERT H.-J.
- ~BORCKERT H.-J.
- ~BOTTNER W.
- ~BURCKERT H.-J.
- ~CLARK K. L.
- ~COLMERAUER A.
- ~COMON H.
- ~COMON H.
- ~FAGES F.
- ~FORTENBACHER A.
- ~GALLIER J. H.
- ~GOGUEN J. A.
- ~GOGUEN J. A.
- ~HEROLD A.
- ~HUET G.
- ~JA FFAR
- ~JAFFAR J.
- ~JAFFAR J.
- ~JOUANNAUD J. -P.
- ~JOUANNAUD J.-P.
- ~KIP I2R
- ~L UEZ
- ~LASSEZ J.-L.
- ~LIVESEY M.
- ~LLOYD J. W.
- ~PLOTK N G
- ~PLOTKIN G. D.
- ~SMOLKA G.
- ~STICKEL M. E.
- ~STICKEL M. E.
- ~TARSKI A.
- ~TAYLOR W.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Inductive Inference: Theory and Methods
- Author
- AN LUIN
- AN YKES
- ANCLU N D
- ANGLUIN D.
- ANGLUIN D.
- AP O E
- BARZ
- BARZDIN J. M.
- BARZO N J
- BARZOIN J. M.
- BERGER J.
- BIERMANI~ A. W.
- BIERMANN A. W.
- BIERMANN A. W.
- BIERMANN A. W.
- BIERMANN A. W.
- BIERMANN A. W.
- BIERMANN A. W.
- BLUM L.
- BLUM M.
- BRAYER J. M.
- Carl H. Smith
- CASE J.
- CASE J.
- CAS~
- CHAITIN G. J.
- COOK C. M.
- COULON D.
- DALE~ R.
- DALP Y R
- Dana Angluin
- DIETI'ERIC
- DIETI'ERICH T. G.
- DOUCET P. G.
- EIVALD R. V.
- EN K. J.
- ESPI Zl S
- FEL MAN
- FELICIANGELI H.
- FELOMAN J. A.
- FP VALD
- FREDK N E
- FREIVALD R. V.
- FREIVALO R. V.
- FREWALD R. V.
- FRIEDBERG R
- GAINES B. R.
- GAINES B. R.
- GOLD E. M.
- GOLD E. M.
- GONZALEZ R. C.
- HAGEN R.
- HANDY S.
- JANTKE K. P.
- JANTKE K. P.
- JOUANNAUD J. P.
- JOUANNAUD J. P.
- JOUANNAUD J. P.
- JOUANNAUD J. P.
- KLETTE R.
- KN
- KODRATOFF Y.
- KODRATOFF Y.
- KOLMOGOROV A. N.
- KUOEL P.
- LEV~NE B.
- L~V NE B
- MARYANSKI F. J.
- MICHALSKI R.
- MICLET L.
- MINICOZZ
- MITCHELL T. M.
- M~TIN-LOF P.
- M~TIN-LOF P.
- NIX R.
- OSHERSON D. N.
- PA
- PIVAR M.
- PIVAR M.
- PLOTK
- PLOTKI~ G. D.
- PODN EgS
- PODNIEKS K. M.
- POON EKS
- PUTNAM H.
- REYNOLDS J. C.
- SHAPIRO E.
- SHAPIRO E. Y.
- SHAW D.
- SHINOHARA T.
- SHINOHARA T.
- SIMON H. A.
- SOLOMONOFF R. J.
- SOLOMONOFF R. J.
- SOLOMONOFF R. J.
- THIELE H.
- VAN DER MUDE A.
- VEELENTURF L. P.
- WATANA~E S.
- WHARTO
- WHARTON R. M.
- WIEHA EN R
- WIEHAGEN R.
- WIEHAGEN R.
- ZLOOF M.
- ZVO~K N A
- ~IVALO R. V.
- ~O BOOTH T. L.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study