Line number

Known as: Renum, Line numbers, Renumber 
In computing, a line number is a method used to specify a particular sequence of characters in a text file. The most common method of assigning… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the… (More)
  • figure 1
  • table 1
  • table 3
  • figure 2
Is this relevant?
2005
2005
In this paper, we consider a two parallel machine problem where one machine is not available during a time period. The… (More)
  • figure 1
  • table 1
  • table 1
  • table 2
Is this relevant?
2005
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
Since the advent of Markovian Process Algebras, users have requested the ability to employ a greater variety of action… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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
In this paper, we emphasize the differences of grammar families and their properties versus language families and their… (More)
Is this relevant?
1994
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
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
Program slicing, introduced by Weiser, is known to help programmers in understanding foreign code and in debugging. We apply… (More)
Is this relevant?