Two-sorted metric temporal logics

By Montanari A.   de Rijke M.  

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 187-214

Elsevier

Access to resources Recommend Favorite

Complexity results for two-way and multi-pebble automata and their logics

By Globerman N.   Harel D.  

Theoretical Computer Science, Vol. 169, Iss. 2, 1996-12 ,pp. : 161-184

Elsevier

Access to resources Recommend Favorite

Solvability of Context Equations with Two Context Variables is Decidable

By Schmidt-Schauß M.   Schulz K.U.  

Journal of Symbolic Computation, Vol. 33, Iss. 1, 2002-01 ,pp. : 77-122

Academic Press

Access to resources Recommend Favorite

Two-stage stochastic problems with correlated normal variables: computational experiences

By Deák István  

Annals of Operations Research, Vol. 142, Iss. 1, 2006-02 ,pp. : 79-97

Springer Publishing Company

Access to resources Recommend Favorite

Mathematical programming formulations for two-group classification with binary variables

By Asparoukhov O.K.   Stam A.  

Annals of Operations Research, Vol. 74, Iss. 1, 1997-01 ,pp. : 89-112

Springer Publishing Company

Access to resources Recommend Favorite