246 search results - page 6 / 50 » A novel approach to symbolic algebra |
GREC
2005
Springer
14 years 27 days ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
DMCS
2003
13 years 8 months ago
2003
d Abstract) Anah´ı Gajardo† GI2MA, Departamento de Ingenier´ıa Matem´atica, Universidad de Concepci´on, Casilla 160-C, correo 3, Concepci´on, Chile The Langton’s ant is ...
JCS
2010
13 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
ECEASST
2010
13 years 4 months ago
2010
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...