Search Results

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011

Characteristics of fads2 gene expression and putative promoter in European sea bass (Dicentrarchus labrax): comparison with salmonid species and analysis of CpG methylation.

by Geay, Florian, Zambonino-Infante, Jose-Luis, Reinhardt, Richard, Kuhl, Heiner, Santigosa, Ester, Cahu, Chantal, Mazurais, David
Published in Marine Genomics (2012)

Characteristics of fads2 gene expression and putative promoter in European sea bass (Dicentrarchus labrax): comparison with salmonid species and analysis of CpG methylation.

by Geay, Florian, Zambonino-Infante, Jose-Luis, Reinhardt, Richard, Kuhl, Heiner, Santigosa, Ester, Cahu, Chantal, Mazurais, David
Published in Marine Genomics (2012)

Characteristics of fads2 gene expression and putative promoter in European sea bass (Dicentrarchus labrax): comparison with salmonid species and analysis of CpG methylation.

by Geay, Florian, Zambonino-Infante, Jose-Luis, Reinhardt, Richard, Kuhl, Heiner, Santigosa, Ester, Cahu, Chantal, Mazurais, David
Published in Marine Genomics (2012)

Characteristics of fads2 gene expression and putative promoter in European sea bass (Dicentrarchus labrax): comparison with salmonid species and analysis of CpG methylation.

by Geay, Florian, Zambonino-Infante, Jose-Luis, Reinhardt, Richard, Kuhl, Heiner, Santigosa, Ester, Cahu, Chantal, Mazurais, David
Published in Marine Genomics (2012)

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 1481

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 2024

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Polarization of the Sky

by Horváth, Gábor, Barta, András, Hegedüs, Ramón
Published 2014

Polarization of the Sky

by Horváth, Gábor, Barta, András, Hegedüs, Ramón
Published 2014

Polarization of the Sky

by Horváth, Gábor, Barta, András, Hegedüs, Ramón
Published 2014