Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Synthesis of secure adaptors
Martín, J.A., Martinelli, F., Pimentel, E.
Published in The journal of logic and algebraic programming (01.02.2012)
Published in The journal of logic and algebraic programming (01.02.2012)
Get full text
Journal Article
Loading…
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
Revol, N., Makino, K., Berz, M.
Published in The journal of logic and algebraic programming (01.07.2005)
Published in The journal of logic and algebraic programming (01.07.2005)
Get full text
Journal Article
Loading…
Testing from a stochastic timed system with a fault model
Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel
Published in The journal of logic and algebraic programming (01.01.2009)
Published in The journal of logic and algebraic programming (01.01.2009)
Get full text
Journal Article
Loading…
Axiomatizability of representable domain algebras
Hirsch, Robin, Mikulás, Szabolcs
Published in The journal of logic and algebraic programming (01.02.2011)
Published in The journal of logic and algebraic programming (01.02.2011)
Get full text
Journal Article
Loading…
Loading…
Recent progress in exact geometric computation
Li, C., Pion, S., Yap, C.K.
Published in The journal of logic and algebraic programming (01.07.2005)
Published in The journal of logic and algebraic programming (01.07.2005)
Get full text
Journal Article
Loading…
A versatile concept for the analysis of loops
Ghardallou, Wided, Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Bsaies, Khaled, Mili, Ali
Published in The journal of logic and algebraic programming (01.07.2012)
Published in The journal of logic and algebraic programming (01.07.2012)
Get full text
Journal Article
Loading…
SOS rule formats for idempotent terms and idempotent unary operators
Aceto, Luca, Ingolfsdottir, Anna, Goriac, Eugen-Ioan
Published in The journal of logic and algebraic programming (01.01.2014)
Published in The journal of logic and algebraic programming (01.01.2014)
Get full text
Journal Article
Loading…
A P-Lingua based simulator for tissue P systems
Martínez-del-Amor, Miguel A., Pérez-Hurtado, Ignacio, Pérez-Jiménez, Mario J., Riscos-Núñez, Agustín
Published in The journal of logic and algebraic programming (01.08.2010)
Published in The journal of logic and algebraic programming (01.08.2010)
Get full text
Journal Article
Loading…
An algebra of hybrid systems
Höfner, Peter, Möller, Bernhard
Published in The journal of logic and algebraic programming (01.01.2009)
Published in The journal of logic and algebraic programming (01.01.2009)
Get full text
Journal Article
Loading…
Cut-free sequent systems for temporal logic
Brünnler, Kai, Lange, Martin
Published in The journal of logic and algebraic programming (01.07.2008)
Published in The journal of logic and algebraic programming (01.07.2008)
Get full text
Journal Article
Loading…
Special issue on Automated Specification and Verification of Web Systems
Kovács, Laura, Pugliese, Rosario, Silva, Josep, Tiezzi, Francesco
Published in The journal of logic and algebraic programming (01.11.2013)
Published in The journal of logic and algebraic programming (01.11.2013)
Get full text
Journal Article
Loading…
Dependently typed array programs don’t go wrong
Trojahner, Kai, Grelck, Clemens
Published in The journal of logic and algebraic programming (01.08.2009)
Published in The journal of logic and algebraic programming (01.08.2009)
Get full text
Journal Article
Loading…
Operational semantics of Framed Tempura
Yang, Xiaoxiao, Duan, Zhenhua
Published in The journal of logic and algebraic programming (01.11.2008)
Published in The journal of logic and algebraic programming (01.11.2008)
Get full text
Journal Article
Loading…
Normal design algebra
Guttmann, Walter, Möller, Bernhard
Published in The journal of logic and algebraic programming (01.02.2010)
Published in The journal of logic and algebraic programming (01.02.2010)
Get full text
Journal Article
Loading…
Computing strong and weak bisimulations for psi-calculi
Johansson, Magnus, Victor, Björn, Parrow, Joachim
Published in The journal of logic and algebraic programming (01.04.2012)
Published in The journal of logic and algebraic programming (01.04.2012)
Get full text
Journal Article
Loading…
Building Distributed Controllers for Systems with Priorities
Ben-Hafaiedh, Imene, Graf, Susanne, Quinton, Sophie
Published in The journal of logic and algebraic programming (01.04.2011)
Published in The journal of logic and algebraic programming (01.04.2011)
Get full text
Journal Article
Loading…
Loading…
Loading…
Behavioral interface description of an object-oriented language with futures and promises
Ábrahám, Erika, Grabe, Immo, Grüner, Andreas, Steffen, Martin
Published in The journal of logic and algebraic programming (01.08.2009)
Published in The journal of logic and algebraic programming (01.08.2009)
Get full text
Journal Article