Paul J. Voda  Home/Search
Context
Related
| dent.ii.fmph.uniba.sk/~v...clback.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dent.ii.fmph.uniba.sk/~voda/cl (more) Homepages: P.Voda |
Rate this article:      (best)Comment on this article |
Abstract: 37> n= j & Priorities (decreasing): (&) (n=) (!\Gamma? \Gamma?). All connectives are right associative. Rel ::= = j ! = j ! j != j ? j ?= j in j !in Op ::= + j \Gamma j j = j mod j ++ Priorities (decreasing): ( = mod) (+ \Gamma ++). Left associative: = mod + \Gamma ++ . Var Examples: i, x, zs, maximal number of the list. Ident Examples: Fib, Maximal number, N, Expr2string, Born 1 jan 1997. Num Examples: 1, 2, 1997, 12345678901234567890. Char Examples: "a", "Z", "9", "!",<F11.81 (Update)
Active bibliography (related documents): More All
0.5: Syntactic Reduction of Predicate Tableaux to Propositional.. - Komara, Voda (1995) (Correct)
0.1: An Exercise in Programming in PA: Fast Growing Hierarchy Functions - Voda (Correct)
0.1: ESSLLI 2000 Lecture Notes: Computability and Complexity - From Programming Perspective (2000) (Correct)
Similar documents based on text: More All
0.7: The Coq Proof Assistant - Reference Manual V 5.10 - Cornes, Courant.. (1995) (Correct)
0.6: Vowel Harmony in Turkish and Turkmen - Tosun (1999) (Correct)
0.6: JAPE: a Java Annotation Patterns Engine - Cunningham, Maynard, Tablan (2000) (Correct)
BibTeX entry: (Update)
@misc{ voda-appendix,
author = "Paul J. Voda",
title = "Appendix A",
url = "citeseer.ist.psu.edu/248922.html" }
Citations (may not include all citations):258 Miranda: a non-strict functional language with polymorphic t.. (context) - Turner - 1985
8 Subrecursion as a basis for a feasible programming language - Voda - 1994
2 Programming by Logic and Logic by Programming (context) - Voda - 1996
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC