9 citations · 26 across the 18 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.FL2013
Introduction to Functional Grammars
Abhinav Aggarwal
Formal grammars are extensively used in Computer Science and related fields to study the rules which govern production of a language. The use of these grammars can be extended beyo…
cs.CR2013
Algebraic Message Authentication Codes
Abhinav Aggarwal
This paper suggests a message authentication scheme, which can be efficiently used for secure digital signature creation. The algorithm used here is an adjusted union of the concep…
cs.LO2013
A theory of function-induced-orders to study recursion termination
Abhinav Aggarwal, Padam Kumar
Termination property of functions is an important issue in computability theory. In this paper, we show that repeated iterations of a function can induce an order amongst the eleme…