Problems in symbolic logic

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 2, 1956-06 ,pp. : 215-215

Cambridge University Press

Access to resources Recommend Favorite

Symbolic Differential Elimination for Symmetry Analysis

By Hillgarter Erik   Hemmecke Ralf   Landsmann Günter   Winkler Franz  

Mathematical and Computer Modelling of Dynamical Systems, Vol. 10, Iss. 2, 2004-06 ,pp. : 123-147

Taylor & Francis Ltd

Access to resources Recommend Favorite

Universally Composable Symbolic Security Analysis

By Canetti Ran   Herzog Jonathan  

Journal of Cryptology, Vol. 24, Iss. 1, 2011-01 ,pp. : 83-147

Springer Publishing Company

Access to resources Recommend Favorite

The Complexity of Classification Problems for Models of Arithmetic

By  

Bulletin of Symbolic Logic, Vol. 16, Iss. 3, 2010-09 ,pp. : 345-358

Cambridge University Press

Access to resources Recommend Favorite

Symbolic Covariance Principal Component Analysis and Visualization for Interval-Valued Data

By Le-Rademacher Jennifer  

Journal of Computational and Graphical Statistics, Vol. 21, Iss. 2, 2012-04 ,pp. : 413-432

Taylor & Francis Ltd

Access to resources Recommend Favorite