Â

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- RÃ©mi Arcadias
- 2012

Let D (resp. D) be the ring of germs at the origin of linear partial differential operators with analytic coefficients on C (respâ€¦Â (More)

Is this relevant?

2009

2009

In this paper we give a proof of the fact, that the motivic Hodge-Chern class transformation MHCy and Hirzebruch classâ€¦Â (More)

Is this relevant?

Review

2007

Review

2007

The second author has implemented a reference version of the HOL logic (henceforth called gtt). This version, written in Standardâ€¦Â (More)

Is this relevant?

Review

2005

Review

2005

Traditional systems engineering pays attention to careful composition of prose requirements statements. Even so, prose appearsâ€¦Â (More)

Is this relevant?

2000

2000

- Henry Cohn
- 2000

n=0 1 x2n = [0, xâˆ’ 1, x+ 2, x, x, xâˆ’ 2, x, x+ 2, x, xâˆ’ 2, x+ 2, . . . ], with x = 2. A continued fraction over Q(x), such as thisâ€¦Â (More)

Is this relevant?

1998

1998

- Markus Walther, Petra Barg
- 1998

In this paper we present an implemented system for the incremental acquisition and revision of lexical entries in HPSG. As aâ€¦Â (More)

Is this relevant?

1996

1996

- StÃ©phane Demphlous
- KRDB
- 1996

The use of external object-oriented databases to ooer persistence to knowledge bases often induces a problem of hetero-geneityâ€¦Â (More)

Is this relevant?

1993

1993

- Thomas Hemmann, Hans VoÃŸ
- 1993

This paper deals with reusable problem-solving methods, in particular with interpretation models as their main constituting partâ€¦Â (More)

Is this relevant?

1979

1979

- John R. Metzner
- SIGP
- 1979

The segment treated, by no means exhaustively, deals with the spectrum of user-specializable programming systems from macroâ€¦Â (More)

Is this relevant?