Seref Mirasyedioglu

	2006
4		Seref Mirasyedioglu, Tolga Güyer: A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. Applied Mathematics and Computation 176(1): 65-75 (2006)
3		Tolga Güyer, Seref Mirasyedioglu: A functional computation model for the duality of two-variable Lambda-Boolean functions. Applied Mathematics and Computation 182(1): 879-887 (2006)
	2005
2		Onur Kiymaz, Seref Mirasyedioglu: A new symbolic computation for formal integration with exact power series. Applied Mathematics and Computation 162(1): 215-224 (2005)
1		Onur Kiymaz, Seref Mirasyedioglu: A new symbolic computational approach to singular initial value problems in the second-order ordinary differential equations. Applied Mathematics and Computation 171(2): 1218-1225 (2005)

Coauthor Index

1	Tolga Güyer	[3] [4]
2	Onur Kiymaz	[1] [2]

Colors in the list of coauthors