Author Search Results

Select result number 1
1

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Contributors: “...Inria Nancy - Grand Est...”

Get access

Conference Object
Select result number 5
5

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Contributors: “...Inria Nancy - Grand Est...”

Get access

Conference Object
Select result number 6
6

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Contributors: “...Inria Nancy - Grand Est...”

Get access

Conference Object
Select result number 7
7

Enumeration reducibility in closure spaces with applications to logic and algebra

by Jeandel, Emmanuel
Published 2017
Contributors: “... Nancy - Grand Est...”

Get access

Conference Object
Select result number 8
8

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017
Contributors: “... Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 9
9

Social Media and Linguistic Affirmation in Central Africa.

by Rivron, Vassili
Published 2014
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 10
10

Social Media and Linguistic Affirmation in Central Africa. Social Media and Linguistic Affirmation in Central Africa. : Between Cultural Objectification and Cultural Mutation

by Rivron, Vassili
Published 2014
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access

Other/Unknown Material
Select result number 11
11

Social Media and Linguistic Affirmation in Central Africa.

by Rivron, Vassili
Published 2014
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 12
12

Social Media and Linguistic Affirmation in Central Africa.

by Rivron, Vassili
Published 2014
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 13
13

Fast evaluation and root finding for polynomials with floating-point coefficients

by Imbach, Rémi, Moroz, Guillaume
Published 2023
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 14
14

Fast evaluation and root finding for polynomials with floating-point coefficients

by Imbach, Rémi, Moroz, Guillaume
Published 2023
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 15
15

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017
Contributors: “...Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 16
16

Enumeration reducibility in closure spaces with applications to logic and algebra

by Jeandel, Emmanuel
Published 2017
Contributors: “...Inria Nancy - Grand Est...”

Get access

Conference Object
Select result number 17
17

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)
Contributors: “...Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 18
18

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 1481
Contributors: “...Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 19
19

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 2024
Contributors: “...Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est...”

Get access
Get access
Get access

Conference Object
Select result number 20
20

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)
Contributors: “...Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est...”

Get access
Get access
Get access
Get access

Conference Object

1
2
3
4
Next
Last

Search Results

Related Subjects