221 search results - page 8 / 45 » Heyting Algebras and Formal Languages |
95
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
116
click to vote
APIN
1998
15 years 1 days ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
123
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
15 years 7 days ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...