Koushik Pal
Koushik Pal
Verified email at usask.ca
Title
Cited by
Cited by
Year
Multiplicative valued difference fields
K Pal
The Journal of Symbolic Logic 77 (2), 545-579, 2012
142012
Efficiently solving: A large-scale integer linear program using a customized genetic algorithm
K Deb, K Pal
Genetic and Evolutionary Computation Conference, 1054-1065, 2004
132004
Basic relevant theories for combinators at levels I and II
K Pal, RK Meyer
Australasian Journal of Logic 3, 14-32, 2005
62005
The model theory of separably tame valued fields
FV Kuhlmann, K Pal
Journal of Algebra 447, 74-108, 2016
52016
Model Companion of ordered theories with an automorphism
MC Laskowski, K Pal
Transactions of the American Mathematical Society 367 (10), 2015
32015
Model companion of ordered theories with an automorphism
M Laskowski, K Pal
Transactions of the American Mathematical Society 367 (10), 6877-6902, 2015
32015
Partial metric spaces with negative distances and fixed point theorems
S Assaf, K Pal
arXiv preprint arXiv:1408.5627, 2014
22014
The Variety of Topological Quasi-Boolean Algebras
M Banerjee, K Pal
In proceedings of Trends in Logic III - Conference in Memoriam of Mostowski …, 2005
22005
Partial n-metric spaces and fixed point theorems
S Assaf, K Pal
arXiv preprint arXiv:1502.05320, 2015
2015
Uniform Theory of Multiplicative Valued Difference Fields
K Pal
University of California, Berkeley, 2011
2011
Pointing Gesture Detection
AM Amit Mondal, Dipak Kumar Maji, Koushik Pal
IICAI, 722-730, 2003
2003
A NOTE ON IMMEDIATE EXTENSIONS AND MAXIMAL FIELDS A LA KAPLANSKY
K PAL
A NOTE ON ULTRAPRODUCTS
K PAL
The system can't perform the operation now. Try again later.
Articles 1–13