Sciweavers

3457 search results - page 177 / 692
» A Symbol Is Not a Symbol
Sort
View
AMC
2006
125views more  AMC 2006»
15 years 6 months ago
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
Seref Mirasyedioglu, Tolga Güyer
ENTCS
2008
76views more  ENTCS 2008»
15 years 6 months ago
Symbolic and Abstract Interpretation for C/C++ Programs
and Abstract Interpretation for C/C++ Programs Helge L
Helge Löding, Jan Peleska
IEICET
2008
47views more  IEICET 2008»
15 years 6 months ago
Symbol Timing Synchronization Algorithms for Wireless LAN Systems in Multipath Channels
Jooyeol Yang, Kyungwhoon Cheun, Jeongchang Kim
CORR
2006
Springer
57views Education» more  CORR 2006»
15 years 6 months ago
On Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...