# Line number

## Papers overview

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

2015

2015

- 2015

In this paper, we establish the generalized Ostrowski type inequality involving local fractional integrals on fractal sets R (0â€¦Â (More)

Is this relevant?

2007

2007

- Electr. Notes Theor. Comput. Sci.
- 2007

Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as theâ€¦Â (More)

Is this relevant?

2005

2005

- European Journal of Operational Research
- 2005

In this paper, we consider a two parallel machine problem where one machine is not available during a time period. Theâ€¦Â (More)

Is this relevant?

2005

2005

- RFC
- 2005

Status of This Memo This memo provides information for the Internet community. It does not specify an Internet standard of anyâ€¦Â (More)

Is this relevant?

2005

2005

- 2005

Since the advent of Markovian Process Algebras, users have requested the ability to employ a greater variety of actionâ€¦Â (More)

Is this relevant?

2003

2003

- 2003

We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of nÃ— n (0, 1)â€“matrices whoseâ€¦Â (More)

Is this relevant?

1996

1996

- Fundam. Inform.
- 1996

In this paper, we emphasize the differences of grammar families and their properties versus language families and theirâ€¦Â (More)

Is this relevant?

1994

1994

- Inf. Process. Lett.
- 1994

Given a directed graph G V A the maximum acyclic subgraph problem is to compute a subset A of arcs of maximum size or totalâ€¦Â (More)

Is this relevant?

1994

1994

- POPL
- 1994

Formal calculi of record structures have recently been a focus of active research. However, scarcely anyone has studied formallyâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- IEEE Trans. Software Eng.
- 1991

Program slicing, introduced by Weiser, is known to help programmers in understanding foreign code and in debugging. We applyâ€¦Â (More)

Is this relevant?