MATH
Login Or Sign up

List Question

15
60
Views

Mitchell Foundations for PL 2.3.4 (observational equivalence)

Published on
#logic #computer-science #formal-languages #type-theory #rewriting-systems
602
Views

Consequences of difference between "strong" and weak Church-Rosser property

Published on
#logic #lambda-calculus #rewriting-systems
324
Views

Bergman's Diamond Lemma: do these rules lead to a normal form?

Published on
#abstract-algebra #ring-theory #rewriting-systems
604
Views

What are the relations and differences between formal systems, rewriting systems, formal grammars and automata?

Published on
#computer-science #automata #formal-systems #formal-grammar #rewriting-systems
70
Views

Why does $y \downarrow x$ imply $ x \leftrightarrow^* y$?

Published on
#elementary-set-theory #computer-science #relations #rewriting-systems
61
Views

Does $x \leftrightarrow^* y$ already imply $x \rightarrow^* y$?

Published on
#elementary-set-theory #computer-science #relations #rewriting-systems
1.3k
Views

What do "soundness" and "completeness" mean?

Published on
#logic #terminology #computer-science #rewriting-systems
50
Views

Does $T(\Sigma,V)$, the set of terms for signature $\Sigma$ and a set $V$ of variables, belong to syntax or semantics?

Published on
#computer-science #universal-algebra #rewriting-systems
84
Views

Is it possible to add computational facilities to otherwise "mathematical" formal systems by adjoining identities to types?

Published on
#logic #type-theory #computer-algebra-systems #formal-systems #rewriting-systems
105
Views

Non-identifiability of a periodic function

Published on
#functional-analysis #functions #trigonometry #examples-counterexamples #rewriting-systems
72
Views

Question about number of occurences of a function symbol in a Term Rewriting System

Published on
#computer-science #computational-mathematics #rewriting-systems
57
Views

Fewest applications of associativity

Published on
#combinatorics #binary-operations #associativity #rewriting-systems
97
Views

Rewriting quadratic expression

Published on
#quadratics #factoring #quadratic-forms #rewriting-systems
53
Views

How does confluence apply (or not) in non-terminating rewriting systems?

Published on
#fixed-point-theorems #regular-language #rewriting-systems
115
Views

Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in an nLab page. Need a double check.

Published on
#computer-science #lambda-calculus #fixed-points #combinatory-logic #rewriting-systems

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.